Skip to content
continuous integration

feat(Dynamics/BirkhoffSum): maximal ergodic theorem #19

Sign in to view logs

feat(Dynamics/BirkhoffSum): maximal ergodic theorem

feat(Dynamics/BirkhoffSum): maximal ergodic theorem #19

Triggered via push January 16, 2026 03:10
@lua-vrlua-vr
pushed 9660228
maximal-inequality
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
Build
Build
Lint style
Lint style
Post-Build Step
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in