Curry is continuous #2241
nix-action-master.yml
on: pull_request_target
coq
1m 6s
mathcomp
1m 3s
mathcomp-analysis
7m 31s
mathcomp-analysis-single
7m 25s