gappalib, itauto & serapi for Coq 8.20 #563
nix-action-8.17.yml
on: pull_request_target
coq
34s
HoTT
34s
LibHyps
39s
bbv
34s
coq-record-update
35s
coq-shell
33s
coqide
37s
dpdgraph
34s
high-school-geometry
34s
itauto
38s
metalib
34s
pocklington
34s
rewriter
6m 14s
semantics
35s
smtcoq
36s
gappalib
35s
trakt
34s
coq-hammer
38s
coq-lsp
35s
topology
33s
metacoq
35s
mathcomp-word
34s
addition-chains
35s
gaia
40s
http
35s
graph-theory
42s