[CI] Add Coq master and Coq 8.18 to master branch #268
Triggered via pull request
September 5, 2023 08:26
proux01
Status
Success
Total duration
15m 15s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-coq-8.16.yml
on: pull_request
coq
3m 49s
mathcomp-single-planB-src
4m 55s
QuickChick
38s
Verdi
49s
autosubst
32s
category-theory
34s
mathcomp-bigenough
30s
mathcomp-finmap
44s
reglang
35s
relation-algebra
38s
interval
35s
odd-order
55s
Annotations
4 warnings
|
hierarchy-builder
Failed to download action 'https://api.github.com/repos/cachix/cachix-action/tarball/6a9a34cdd93d0ae4b4b59fd678660efb08109f2f'. Error: Response status code does not indicate success: 500 (Internal Server Error).
|
|
hierarchy-builder
Back off 20.99 seconds before retry.
|
|
odd-order
Failed to download action 'https://api.github.com/repos/cachix/cachix-action/tarball/6a9a34cdd93d0ae4b4b59fd678660efb08109f2f'. Error: Response status code does not indicate success: 502 (Bad Gateway).
|
|
odd-order
Back off 23.527 seconds before retry.
|