Skip to content
continuous integration (mathlib forks)

Fix errors #32156

Sign in to view logs

Fix errors

Fix errors #32156

Triggered via push June 20, 2023 16:50
@Parcly-TaxelParcly-Taxel
pushed d686704
port/RingTheory.Complex
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)
2s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in