Skip to content
Nix CI for bundle 8.18

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

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 #424

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 7s
mathcomp-analysis
1m 30s
mathcomp-analysis-single
1m 32s
4m 9s