coqutil 0.0.5/0.0.6 #219
nix-action-8.20.yml
on: pull_request
coq
34s
HoTT
34s
InfSeqExt
42s
LibHyps
31s
aac-tactics
38s
atbr
32s
coq-record-update
32s
coq-shell
39s
coqide
35s
coqutil
1m 32s
high-school-geometry
34s
itauto
35s
vscoq-language-server
41s
zorns-lemma
36s
gappalib
33s
compcert
38s
Cheerios
36s
ITree
37s
serapi
38s
stalmarck-tactic
40s
QuickChick
34s
gaia
35s
ElmExtraction
35s
mathcomp-algebra-tactics
33s
mathcomp-analysis
33s
coqeal
34s
mathcomp
33s