search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Fix MacOS static build #1187

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

We do not install nums anymore so we need to update the static build workflow.

bclement-ocp commented 1 month ago

Can you run the workflow on your fork and check that it actually works? We don't build static macOS binaries on PRs.