Merge pull request #410 from math-comp/CohenCyril-patch-1 #204
nix-action-coq-8.18.yml
on: push
coq
30s
mathcomp-single
32s
QuickChick
32s
Verdi
25s
autosubst
26s
deriving
31s
reglang
26s
interval
26s
coqeal
27s
odd-order
25s