[CI] Update equation (now uses dune) #17
proux01nix-action-rocq-master.yml
on: pull_request_target
coq
1m 13s
argosy
14s
atbr
13s
bbv
13s
coinduction
14s
coq-performance-tests
12s
coq-tools
13s
cross-crypto
13s
dpdgraph-test
0s
engine-bench
13s
fiat-parsers
0s
itauto
0s
neural-net-coq-interp
0s
paramcoq-test
0s
perennial
0s
sf
0s
smtcoq
0s
stdlib-refman-html
0s
stdlib-test
0s
tlc
0s
waterproof
0s
mtac2
0s
equations-test
0s
coq-elpi-test
0s
compcert
0s
vst
0s
coq-hammer
0s
stalmarck-tactic
0s
relation-algebra
0s
category-theory
0s
jasmin
0s
mathcomp-experimental-reals
0s
metacoq-test
0s
mathcomp-analysis-stdlib
0s
odd-order
0s
mathcomp-test
0s
Annotations
55 errors
|
StructTact
The run was canceled by @proux01.
|
|
dpdgraph-test
The run was canceled by @proux01.
|
|
|
|
fiat-parsers
The run was canceled by @proux01.
|
|
|
|
|
|
neural-net-coq-interp
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
paramcoq-test
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
stdlib-refman-html
The run was canceled by @proux01.
|
|
stdlib-test
The run was canceled by @proux01.
|
|
|
|
waterproof
The run was canceled by @proux01.
|
|
|
|
bignums
The operation was canceled.
|
|
|
|
MenhirLib
The operation was canceled.
|
|
cross-crypto
The run was canceled by @proux01.
|
|
cross-crypto
The operation was canceled.
|
|
|
|
InfSeqExt
The operation was canceled.
|
|
coq-hammer-tactics
The run was canceled by @proux01.
|
|
coq-hammer-tactics
The operation was canceled.
|
|
coinduction
The run was canceled by @proux01.
|
|
coinduction
The operation was canceled.
|
|
|
|
bbv
The operation was canceled.
|
|
|
|
atbr
The operation was canceled.
|
|
|
|
ExtLib
The operation was canceled.
|
|
|
|
argosy
The operation was canceled.
|
|
|
|
coq-elpi
The operation was canceled.
|
|
engine-bench
The run was canceled by @proux01.
|
|
engine-bench
The operation was canceled.
|
|
coq-performance-tests
The run was canceled by @proux01.
|
|
coq-performance-tests
The operation was canceled.
|
|
aac-tactics
The run was canceled by @proux01.
|
|
aac-tactics
The operation was canceled.
|
|
|
|
coqutil
The operation was canceled.
|
|
|
|
coq-tools
The operation was canceled.
|
|
|
|
ceres
The operation was canceled.
|