[CI] Add a README #226
proux01nix-action-coq-master.yml
on: push
coq
1m 10s
argosy
2m 6s
atbr
2m 41s
bbv
1m 55s
coinduction
1m 50s
coq-performance-tests
5m 11s
coq-tools
5m 13s
cross-crypto
5m 11s
dpdgraph-test
1m 58s
engine-bench
3m 15s
fiat-parsers
3m 14s
itauto
2m 57s
neural-net-coq-interp
1m 10s
paramcoq-test
0s
perennial
0s
sf
0s
smtcoq
0s
stdlib-refman-html
0s
stdlib-test
0s
tlc
0s
waterproof
0s
mtac2
1m 3s
equations-test
0s
compcert
0s
vst
0s
coq-hammer
0s
stalmarck-tactic
0s
relation-algebra
0s
category-theory
0s
quickchick-test
0s
VerdiRaft
0s
iris-examples
0s
fiat-crypto
0s
fcsl-pcm
0s
http
0s
mathcomp-analysis
0s
odd-order
0s
mathcomp-test
0s
Annotations
47 errors
|
coq-elpi
Process completed with exit code 1.
|
|
|
|
|
|
|
|
paramcoq-test
The run was canceled by @proux01.
|
|
|
|
stdlib-test
The run was canceled by @proux01.
|
|
stdlib-refman-html
The run was canceled by @proux01.
|
|
|
|
StructTact
The run was canceled by @proux01.
|
|
|
|
|
|
waterproof
The run was canceled by @proux01.
|
|
|
|
bignums-test
The run was canceled by @proux01.
|
|
coq-hammer
The run was canceled by @proux01.
|
|
math-classes
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
equations-test
The run was canceled by @proux01.
|
|
|
|
metacoq-template-coq
The run was canceled by @proux01.
|
|
|
|
flocq
The operation was canceled.
|
|
|
|
kami
The operation was canceled.
|
|
|
|
mtac2
The operation was canceled.
|
|
cross-crypto
The run was canceled by @proux01.
|
|
cross-crypto
The operation was canceled.
|
|
neural-net-coq-interp
The run was canceled by @proux01.
|
|
neural-net-coq-interp
The operation was canceled.
|
|
coq-performance-tests
The run was canceled by @proux01.
|
|
coq-performance-tests
The operation was canceled.
|
|
|
|
coq-tools
The operation was canceled.
|
|
|
|
itauto
The operation was canceled.
|
|
engine-bench
The run was canceled by @proux01.
|
|
engine-bench
The operation was canceled.
|
|
fiat-parsers
The run was canceled by @proux01.
|
|
fiat-parsers
The operation was canceled.
|
|
|
|
MenhirLib
The operation was canceled.
|
|
|
|
paco
The operation was canceled.
|