On Wednesday, 19 September 2018 at 12:51:25 UTC, Basile B. wrote:
The downloads of nightlies is broken since at least 2 weeks now. What's going on ?
I've started using this script from today : https://github.com/BBasile/dmdm/blob/master/dmdm.sh Instead of downloading the nightly release it builds it directly during the CI.
