Skip to content
continuous integration (mathlib forks)

revert #30273

Sign in to view logs

revert

revert #30273

Triggered via push June 11, 2023 00:51
@semorrisonsemorrison
pushed 68e325b
simp_cleanup
Status Success
Total duration 14s
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)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in