Skip to content
continuous integration (mathlib forks)

revert whitespace changes #74723

Sign in to view logs

revert whitespace changes

revert whitespace changes #74723

Triggered via push February 9, 2024 22:23
@eric-wiesereric-wieser
pushed 1cf4668
eric-wieser/no-IO.print
Status Success
Total duration 10s
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)
3s
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