coqutil 0.0.5/0.0.6 #502
nix-action-8.18.yml
on: pull_request
coq
39s
HoTT
33s
LibHyps
34s
aac-tactics
34s
bbv
38s
coq-lsp
37s
coq-record-update
37s
coq-shell
37s
coqide
39s
coqutil
1m 31s
dpdgraph
34s
high-school-geometry
35s
itauto
35s
metalib
33s
pocklington
33s
rewriter
33s
semantics
35s
serapi
33s
smtcoq
35s
vscoq-language-server
1m 15s
waterproof
37s
Verdi
42s
mathcomp-tarjan
34s
interval
2m 30s
graph-theory
36s
ssprove
9m 12s
mathcomp-infotheo
39s
coqeal
38s
mathcomp
35s