Fix test following https://github.com/rocq-prover/stdlib/pull/254 #635
proux01nix-action-rocq-master.yml
on: pull_request_target
rocq-core
1m 0s
argosy
0s
atbr
0s
bbv
0s
coinduction
0s
coq-performance-tests
0s
coq-tools
0s
cross-crypto
0s
deriving
0s
dpdgraph-test
0s
engine-bench
0s
fiat-parsers
0s
itauto
0s
neural-net-coq-interp
0s
paramcoq-test
0s
rocq-lean-import
0s
smtcoq
0s
tlc
0s
waterproof
0s
rocq-elpi-test
0s
corn
0s
VST
0s
relation-algebra
0s
autosubst
0s
coquelicot
0s
VerdiRaft
0s
quickchick-test
0s
fiat-crypto-ocaml
mathcomp-algebra-tactics
metarocq-test
0s
Annotations
2 errors
|
|
|
Nix CI for bundle rocq-master
The run was canceled by @proux01.
|