Various CI fixes re. user manual

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache License 2.0

395 stars 59 forks source link

Closed tahina-pro closed 4 months ago

tahina-pro commented 4 months ago

Decommission dzomo's everbld email address in git commit messages
Upgrade the standalone.Dockerfile CI to Ubuntu 23.10, to match the version used by hierarchic.Dockerfile from existing F* CI image (see FStarLang/FStar#3273)

msprotz commented 4 months ago

Thank you!