[CI] Add Coq 8.18 #1346
Triggered via pull request
September 5, 2023 08:51
proux01
Status
Success
Total duration
16m 30s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
2 warnings
|
mathcomp-analysis
Failed to download action 'https://api.github.com/repos/cachix/install-nix-action/tarball/29bd9290ef037a3ecbdafe83cbd2185e9dd0fa0a'. Error: Response status code does not indicate success: 503 (Service Unavailable).
|
|
mathcomp-analysis
Back off 14.115 seconds before retry.
|