Skip to content
Nix CI for bundle 8.20-2.4.0

Fixed the infamous %E scope bug #631

Sign in to view logs

Fixed the infamous %E scope bug

Fixed the infamous %E scope bug #631

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
53s
mathcomp-analysis-single
9m 6s
mathcomp-classical
3m 6s
mathcomp
52s
mathcomp-reals
4m 6s
mathcomp-analysis
7m 19s
mathcomp-experimental-reals
1m 53s
mathcomp-reals-stdlib
2m 40s
ssprove
-1s
mathcomp-analysis-stdlib
-1s
29m 53s