Skip to content
continuous integration (mathlib forks)

Fix lints #26107

Sign in to view logs

Fix lints

Fix lints #26107

Triggered via push May 22, 2023 16:51
@xroblotxroblot
pushed 362ca34
port/RingTheory.GradedAlgebra.Radical
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)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in