Skip to content
continuous integration (mathlib forks)

sort imports #89147

Sign in to view logs

sort imports

sort imports #89147

Triggered via push April 11, 2024 16:16
@BoltonBaileyBoltonBailey
pushed e80df57
BoltonBailey/set-subsingleton-split
Status Success
Total duration 14s
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