Skip to content
continuous integration (mathlib forks)

feat(Dynamics/BirkhoffSum): add the maximal ergodic theorem #262487

Sign in to view logs

feat(Dynamics/BirkhoffSum): add the maximal ergodic theorem

feat(Dynamics/BirkhoffSum): add the maximal ergodic theorem #262487

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (fork)
12m 6s
Lint style (fork)
1m 58s
Post-Build Step (fork)
3m 32s
Post-CI job (fork)
6s
17m 42s