[refactor] instance declaration #112
nix-action-coq-8.18.yml
on: pull_request_target
coq
41s
mathcomp-single
32s
Verdi
27s
autosubst
27s
coquelicot
32s
mathcomp-bigenough
27s
mathcomp-finmap
37s
reglang
27s
odd-order
28s