Skip to content
GNATprove

Fix indentation and trailing whitespace #54

Sign in to view logs

Fix indentation and trailing whitespace

Fix indentation and trailing whitespace #54

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gnatprove
1h 20m 59s
1h 20m 59s