coqutil 0.0.5/0.0.6 #426
nix-action-8.19.yml
on: pull_request
coq
38s
HoTT
2m 20s
InfSeqExt
38s
LibHyps
35s
aac-tactics
2m 32s
bbv
33s
coinduction
3m 49s
coq-lsp
32s
coq-record-update
2m 42s
coq-shell
2m 23s
coqide
1m 51s
coqutil
2m 12s
dpdgraph
32s
high-school-geometry
1m 41s
itauto
32s
rewriter
31s
serapi
36s
smtcoq
2m 3s
vscoq-language-server
1m 17s
zorns-lemma
1m 29s
mathcomp-tarjan
35s
graph-theory
34s
ssprove
38s
mathcomp-infotheo
6m 22s
coqeal
35s
mathcomp
35s