v1.0.0

github-actions released this 23 Mar 05:17

· 14 commits to main since this release

c0e6c37

Fix CI: remove --output=sarif (not a gnatprove option)

GNATprove's --output flag only accepts brief/oneline/pretty.
SARIF output is a GNAT SAS feature, not gnatprove.
Use --report=all instead, and make SARIF upload conditional
on the file existing.

Assets 3