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