coqutil 0.0.5/0.0.6 #505
nix-action-8.18.yml
on: pull_request_target
coq
36s
HoTT
35s
LibHyps
36s
aac-tactics
35s
bbv
36s
coq-lsp
1m 37s
coq-record-update
34s
coq-shell
36s
coqide
42s
dpdgraph
34s
high-school-geometry
38s
itauto
35s
metalib
34s
pocklington
39s
rewriter
34s
semantics
41s
serapi
36s
smtcoq
37s
vscoq-language-server
1m 22s
waterproof
34s
Verdi
2m 48s
mathcomp-tarjan
36s
interval
2m 28s
graph-theory
41s