[refactor] instance declaration #107
nix-action-coq-8.18.yml
on: pull_request_target
coq
42s
mathcomp-single
25s
Verdi
33s
autosubst
27s
coquelicot
27s
mathcomp-bigenough
34s
mathcomp-finmap
27s
reglang
33s
odd-order
31s