Skip to content
continuous integration (mathlib forks)

shortened names #95373

Sign in to view logs

shortened names

shortened names #95373

Triggered via push May 9, 2024 13:15
@joelrioujoelriou
pushed 406d7bb
homotopy-category-homological-functor
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)
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