Skip to content
Nix CI for bundle 8.15

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #2378

Sign in to view logs

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #2378

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 5s
mathcomp-analysis
9m 34s
mathcomp-analysis-single
9m 17s
19m 56s