Merge pull request #699 from LPCIC/gares-patch-1 #64
nix-action-coq-8.20.yml
on: push
coq
56s
interval
3m 25s
mathcomp-analysis
12m 58s
coqeal
5m 19s
odd-order
12m 17s