Skip to content
continuous integration (mathlib forks)

restart CI #96042

Sign in to view logs

restart CI

restart CI #96042

Triggered via push May 13, 2024 00:29
@kim-emkim-em
pushed e64fc95
bump/nightly-2024-05-09
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