simple-io 1.1.0 & QuickChick 2.0.4 #185
nix-action-8.20.yml
on: pull_request_target
coq
35s
InfSeqExt
33s
LibHyps
33s
aac-tactics
34s
atbr
34s
coq-record-update
33s
coq-shell
33s
coqide
35s
high-school-geometry
34s
itauto
33s
vscoq-language-server
35s
zorns-lemma
38s
gappalib
33s
Cheerios
39s
ITree
34s
serapi
34s
stalmarck-tactic
32s
gaia
35s
ElmExtraction
35s
mathcomp-algebra-tactics
33s
mathcomp-analysis
35s
coqeal
34s
mathcomp
39s