proux01nix-action-coq-master.yml
on: push
coq
1m 4s
atbr
2m 8s
bbv
1m 52s
coinduction
1m 47s
coq-tools
2m 7s
engine-bench
2m 7s
itauto
2m 8s
neural-net-coq-interp
2m 7s
sf
2m 5s
smtcoq
40s
tlc
0s
waterproof
0s
serapi
1m 19s
trakt
0s
stalmarck-tactic
0s
corn
0s
relation-algebra
0s
category-theory
0s
VerdiRaft
0s
iris-examples
0s
metacoq
0s
http
0s
jasmin
0s
mathcomp-analysis
0s
odd-order
0s
Annotations
36 errors and 12 warnings
|
waterproof
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
|
|
hierarchy-builder
The run was canceled by @proux01.
|
|
|
|
aac-tactics
The run was canceled by @proux01.
|
|
StructTact
The run was canceled by @proux01.
|
|
|
|
coq-ext-lib
The run was canceled by @proux01.
|
|
coq-ext-lib
The operation was canceled.
|
|
|
|
paco
The operation was canceled.
|
|
neural-net-coq-interp
The run was canceled by @proux01.
|
|
neural-net-coq-interp
The operation was canceled.
|
|
|
|
coq-tools
The operation was canceled.
|
|
|
|
flocq
The operation was canceled.
|
|
engine-bench
The run was canceled by @proux01.
|
|
engine-bench
The operation was canceled.
|
|
|
|
bignums
The operation was canceled.
|
|
|
|
stalmarck
The operation was canceled.
|
|
|
|
itauto
The operation was canceled.
|
|
|
|
menhir
The operation was canceled.
|
|
|
|
sf
The operation was canceled.
|
|
|
|
atbr
The operation was canceled.
|
|
|
|
smtcoq
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/
|
|
unicoq
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/
|
|
dpdgraph
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/
|
|
paramcoq
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-lsp
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/
|
|
serapi
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/
|
|
coq-elpi
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/
|
|
InfSeqExt
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/
|
|
coinduction
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/
|