Skip to content
Diff release

Don't look for gprbuild from system provider. #755

Sign in to view logs

Don't look for gprbuild from system provider.

Don't look for gprbuild from system provider. #755

Run time

Learn about OS pricing on GitHub Actions
Job Run time
diff
26s
26s