Skip to content
continuous integration (mathlib forks)

expand comment about workaround case #55590

Sign in to view logs

expand comment about workaround case

expand comment about workaround case #55590

Triggered via push November 3, 2023 18:19
@robertylewisrobertylewis
pushed 677d35e
polyrith-radical
Status Success
Total duration 15s
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)
5s
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