Use From systematically #2995
nix-action-master.yml
on: pull_request_target
coq
45s
mathcomp
46s
mathcomp-analysis
10m 58s
mathcomp-analysis-single
10m 45s