Merge pull request #224 from SkySkimmer/test-1844 #557
andres-erbsennix-action-rocq-9.0.yml
on: push
rocq-core
1m 11s
stdlib-warnings
1m 7s
argosy
1m 2s
atbr
1m 5s
bbv
2m 3s
coinduction
1m 7s
coqutil
2m 24s
dpdgraph-test
1m 2s
flocq
1m 59s
kami
4m 56s
neural-net-coq-interp
2m 24s
paramcoq-test
1m 10s
rocq-lean-import
1m 12s
smtcoq
1m 14s
stdpp
3m 46s
tlc
1m 8s
waterproof
1m 13s
stdlib-refman-html
1m 54s
rocq-elpi-test
3m 12s
quickchick-test
4m 58s
metarocq-translations
1m 58s
http
4m 18s
fcsl-pcm
5m 6s
Verdi
3m 22s
mathcomp-word
4m 25s
deriving
3m 30s
mathcomp-algebra-tactics
4m 12s
mathcomp
1m 8s
mathcomp-analysis-stdlib
Annotations
2 errors
|
quickchick-test
Process completed with exit code 1.
|
|
mathcomp-word
Process completed with exit code 1.
|