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