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

..

workflows

single script for github workflow

2023-11-30 13:57:20 +09:00