Skip to content
continuous integration (mathlib forks)

add comments #98841

Sign in to view logs

add comments

add comments #98841

Triggered via push May 23, 2024 21:07
@robertylewisrobertylewis
pushed 4941422
robertylewis/polyrith-0target
Status Success
Total duration 13s
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