Skip to content
continuous integration (mathlib forks)

feat: small lemmas about moebius #86183

Sign in to view logs

feat: small lemmas about moebius

feat: small lemmas about moebius #86183

Triggered via push March 29, 2024 13:10
@Ruben-VandeVeldeRuben-VandeVelde
pushed 6dfec88
moebius
Status Success
Total duration 9s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in