saint-graves/sica-fondt
1
0
Fork 0
mirror of https://github.com/SHOGGOTH-SECTOR/sica-fondt.git synced 2026-07-31 08:06:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
sica-fondt/.github/workflows
History
gravermistakes b381b780c2
Add scheduled Ada CI workflow (cron, not on push) 
Nightly + manual workflow_dispatch. Sets up Alire/GNAT, runs alr build,
executes the test binaries, and runs gnatprove as an informational
(non-blocking) job until the proof base is green.
2026-06-09 21:53:35 +00:00
..
ci.yml
Add scheduled Ada CI workflow (cron, not on push)
2026-06-09 21:53:35 +00:00