fixes #1046 #2541
nix-action-8.14.yml
on: push
coq
36s
mathcomp-analysis
11m 8s
mathcomp-analysis-single
11m 33s