ada/alt-ergo
0
0
Fork 0
mirror of https://github.com/AdaCore/alt-ergo.git synced 2026-02-12 12:39:26 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
fsf
alt-ergo/.github/workflows
History
Johannes Kanig 24477d87ba Workflow for FSF builds 
We commit a github workflow for the FSF branches. This is on master so
we don't forget the changes when we create the FSF branches.

We also move the upstream github workflow files out of the way.
2023-08-10 10:01:23 +09:00
..
workflow.yml
Workflow for FSF builds
2023-08-10 10:01:23 +09:00