Update Pull Request template #97
proux01nix-action-coq-master.yml
on: push
coq
1m 5s
coq-hammer
1m 1s
smtcoq-trakt
5m 2s
stdlib-subcomponents
4m 11s
argosy
38s
atbr
38s
bbv
24s
coinduction
38s
coq-performance-tests
39s
coq-tools
40s
cross-crypto
39s
dpdgraph-test
40s
engine-bench
25s
itauto
0s
neural-net-coq-interp
0s
paramcoq-test
0s
perennial
0s
sf
0s
smtcoq
0s
tlc
0s
waterproof
0s
equations-test
0s
stalmarck-tactic
0s
corn
0s
hierarchy-builder-test
0s
relation-algebra
0s
category-theory
0s
quickchick-test
0s
VerdiRaft
0s
iris-examples
0s
fiat-crypto
0s
metacoq
0s
http
0s
jasmin
0s
mathcomp-analysis
0s
odd-order
0s
mathcomp-test
0s
Annotations
51 errors and 5 warnings
|
|
|
|
|
neural-net-coq-interp
The run was canceled by @proux01.
|
|
|
|
|
|
paramcoq-test
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
waterproof
The run was canceled by @proux01.
|
|
|
|
equations
The operation was canceled.
|
|
engine-bench
The run was canceled by @proux01.
|
|
engine-bench
The operation was canceled.
|
|
|
|
coq-elpi
The operation was canceled.
|
|
|
|
bbv
The operation was canceled.
|
|
StructTact
The run was canceled by @proux01.
|
|
StructTact
The operation was canceled.
|
|
|
|
bignums
The operation was canceled.
|
|
|
|
atbr
The operation was canceled.
|
|
coinduction
The run was canceled by @proux01.
|
|
coinduction
The operation was canceled.
|
|
|
|
InfSeqExt
The operation was canceled.
|
|
|
|
argosy
The operation was canceled.
|
|
|
|
ceres
The operation was canceled.
|
|
|
|
coqutil
The operation was canceled.
|
|
aac-tactics
The run was canceled by @proux01.
|
|
aac-tactics
The operation was canceled.
|
|
coq-ext-lib
The run was canceled by @proux01.
|
|
coq-ext-lib
The operation was canceled.
|
|
|
|
coq-tools
The operation was canceled.
|
|
cross-crypto
The run was canceled by @proux01.
|
|
cross-crypto
The operation was canceled.
|
|
dpdgraph-test
The run was canceled by @proux01.
|
|
dpdgraph-test
The operation was canceled.
|
|
coq-performance-tests
The run was canceled by @proux01.
|
|
coq-performance-tests
The operation was canceled.
|
|
coq-hammer
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
coq
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
stdlib-subcomponents
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
stdlib
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
smtcoq-trakt
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|