Merge pull request #229 from proux01/ci-update #561
proux01nix-action-rocq-master.yml
on: push
rocq-core
1m 0s
argosy
1m 0s
atbr
1m 2s
bbv
1m 3s
coinduction
59s
coq-performance-tests
15m 5s
coq-tools
59s
cross-crypto
6m 24s
dpdgraph-test
58s
engine-bench
1m 0s
fiat-parsers
1m 6s
itauto
1m 2s
neural-net-coq-interp
1m 16s
paramcoq-test
1m 3s
rocq-lean-import
1m 19s
smtcoq
1m 6s
tlc
1m 10s
waterproof
1m 3s
rocq-elpi-test
1m 10s
mtac2
1m 2s
equations-test
1m 5s
coq-hammer
1m 0s
stalmarck-tactic
1m 30s
fiat-crypto-legacy
1m 8s
corn
7m 29s
VST
15m 17s
relation-algebra
1m 12s
coquelicot
1m 14s
quickchick-test
1m 11s
iris-examples
1m 28s
http
2m 26s
category-theory
6m 39s
deriving
1m 59s
mathcomp-word
1m 41s
fcsl-pcm
2m 56s
fiat-crypto-ocaml
45m 34s
VerdiRaft
1m 6s
mathcomp-algebra-tactics
1m 5s
mathcomp
1m 4s
mathcomp-analysis-stdlib
2m 22s
metarocq-test
3m 12s