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