Closed dsyme closed 2 years ago
Ugh CI is busted over the last year
Hmm, it's kind of surprising that this broke in the containerized leg. If anything I'd expect this one to be deterministic.
I think some certificate thing? Maybe paket needs updating
https://fsprojects.github.io/Argu/ is broken
and only
http://fsprojects.github.io/Argu/
works