Skip to content
continuous integration (mathlib forks)

Sebastien's suggestions #37426

Sign in to view logs

Sebastien's suggestions

Sebastien's suggestions #37426

Triggered via push July 25, 2023 14:36
@mcdollmcdoll
pushed 2d782ba
mcdoll/self_adjoint
Status Success
Total duration 12s
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)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in