Skip to content
Nix CI for bundle 9.1

Fixed the infamous %E scope bug #660

Sign in to view logs

Fixed the infamous %E scope bug

Fixed the infamous %E scope bug #660

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rocq-core
48s
coq
53s
mathcomp-classical
2m 45s
mathcomp-analysis-single
14m 31s
mathcomp-reals
3m 53s
mathcomp-analysis
12m 41s
mathcomp-experimental-reals
1m 45s
mathcomp-reals-stdlib
1m 25s
mathcomp-analysis-stdlib
13m 57s
mathcomp-infotheo
7m 34s
1h 0m 12s