5 Commits

Author SHA1 Message Date
Johannes Kanig
bc2749b358 Use correct runners for github builds
For eng/spark/spark2014#854
2025-05-20 09:27:22 +09:00
Johannes Kanig
8544f5aab3 Allow manual running of github workflow 2025-05-08 16:49:35 +09:00
Johannes Kanig
665573c0ab Fix github workflow 2025-05-08 16:48:01 +09:00
Johannes Kanig
8041a6e6c7 single script for github workflow
We replace the github workflow commands and "cwd.py" script by a single
"fsf_build.sh" script, which simplifies the github workflow.

* cwd.py: removed
* fsf_build.sh: new script which essentially runs configure, make, make
  install, preceded by some opam commands to install dependencies.
* workflow.yml: remove most code and call the fsf_build script instead.
2023-11-30 13:57:20 +09:00
Johannes Kanig
108f7df081 Github workflow for why3 builds on all three platforms 2023-08-08 18:28:30 +09:00