feat(Dynamics/BirkhoffSum): add the maximal ergodic theorem #262487
lua-vrbuild_fork.yml
on: pull_request_target
Build (fork)
12m 6s
Lint style (fork)
1m 58s
Post-CI job (fork)
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
268 KB |
sha256:9f156022e915241fdb06e315c00dbb78d0ee6c077f83817a6f3d06b920e04bfc
|
|
|
mathlib4_artifact
|
1.84 GB |
sha256:edd596065c23c95e1380afe34952fca998a01e657a44c944acda7e9e8265d421
|
|