Skip to content
continuous integration (mathlib forks)

final cleanup #70173

Sign in to view logs

final cleanup

final cleanup #70173

Triggered via push January 17, 2024 11:06
@YaelDilliesYaelDillies
pushed 0905b81
group_defs_refactor
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