Update PR template (#1164) #2305
nix-action-master.yml
on: push
coq
1m 12s
mathcomp
10m 58s
mathcomp-analysis
20m 46s
mathcomp-analysis-single
20m 4s