[CI] Use mathcomp-1 branch #1891
nix-action-master.yml
on: pull_request_target
coq
7m 40s
mathcomp
10m 55s
mathcomp-analysis
13m 26s
mathcomp-analysis-single
12m 57s