Skip to content
Check Index

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

Sign in to view logs

Don't look for gprbuild from system provider.

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

Triggered via pull request November 9, 2023 12:19
@simonjwrightsimonjwright
synchronize #913
gprbuild-not-in-provider
Status Success
Total duration 1m 22s
Artifacts –

check-index.yml

on: pull_request
build
1m 5s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Cache save failed.