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