Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #2222
proux01nix-action-master.yml
on: pull_request_target
coq
1m 5s
mathcomp
6m 14s
mathcomp-analysis
11m 15s
mathcomp-analysis-single
10m 32s