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.
