[CI] Add Rocq 9.1+rc1 #1
proux01
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-rocq-9.1.yml
on: pull_request
coq
1m 3s
coq-elpi
0s
rocq-core
0s
rocq-elpi
0s
rocq-elpi-test
0s
stdlib-warnings
0s
argosy
0s
atbr
0s
bbv
0s
coinduction
coq-performance-tests
0s
coq-tools
coquelicot
0s
cross-crypto
dpdgraph-test
engine-bench
flocq
itauto
neural-net-coq-interp
paramcoq-test
rewriter
0s
rocq-lean-import
smtcoq
stdlib-refman-html
tlc
0s
waterproof
0s
mtac2
0s
coq-hammer
0s
relation-algebra
0s
riscvcoq
0s
smtcoq-trakt
0s
stalmarck-tactic
0s
category-theory
0s
deriving
0s
corn
0s
fiat-crypto-legacy
iris-examples
0s
mathcomp-word
fcsl-pcm
quickchick-test
0s
VerdiRaft
0s
mathcomp-algebra-tactics
0s
http
0s
mathcomp
0s
mathcomp-analysis-stdlib
0s
metarocq-test
0s
Annotations
8 errors
|
|
|
stdlib-warnings
The run was canceled by @proux01.
|
|
|
|
rocq-elpi-test
The run was canceled by @proux01.
|
|
|
|
coq
The operation was canceled.
|
|
|
|
Nix CI for bundle rocq-9.1
The run was canceled by @proux01.
|