coqutil 0.0.5/0.0.6 #423
nix-action-8.19.yml
on: pull_request_target
coq
36s
HoTT
35s
InfSeqExt
38s
LibHyps
35s
aac-tactics
35s
bbv
39s
coinduction
39s
coq-lsp
35s
coq-record-update
36s
coq-shell
35s
coqide
37s
dpdgraph
37s
high-school-geometry
34s
itauto
38s
rewriter
34s
serapi
35s
smtcoq
37s
vscoq-language-server
36s
zorns-lemma
35s
mathcomp-tarjan
37s
graph-theory
39s
ssprove
35s
mathcomp-infotheo
6m 29s
coqeal
39s
mathcomp
35s