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

..

workflows

Add scheduled Ada CI workflow (cron, not on push)

2026-06-09 21:53:35 +00:00