Skip to content
continuous integration (mathlib forks)

fixing the build #96195

Sign in to view logs

fixing the build

fixing the build #96195

Triggered via push May 13, 2024 12:38
@joelrioujoelriou
pushed 757e593
modulecat-presheaf-abelian
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)
summarize_declarations
0s
summarize_declarations
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in