[CI] Add a README #233
proux01nix-action-coq-master.yml
on: push
coq
1m 4s
argosy
2m 25s
atbr
3m 5s
bbv
1m 52s
coinduction
2m 10s
coq-performance-tests
16m 23s
coq-tools
9m 4s
cross-crypto
6m 34s
dpdgraph-test
1m 51s
engine-bench
5m 42s
fiat-parsers
5m 31s
itauto
3m 10s
neural-net-coq-interp
2m 27s
paramcoq-test
1m 55s
perennial
12m 25s
sf
3m 32s
smtcoq
2m 22s
stdlib-refman-html
3m 58s
stdlib-test
4m 33s
tlc
2m 11s
waterproof
2m 19s
mtac2
2m 23s
equations-test
2m 38s
coq-elpi-test
3m 0s
compcert
5m 6s
vst
15m 14s
coq-hammer
1m 57s
stalmarck-tactic
1m 50s
relation-algebra
5m 1s
category-theory
9m 7s
quickchick-test
2m 58s
VerdiRaft
6m 45s
iris-examples
9m 43s
fiat-crypto
49m 42s
fcsl-pcm
2m 52s
http
2m 52s
mathcomp-analysis
12m 19s
odd-order
10m 50s
mathcomp-test
2m 3s