Skip to content
continuous integration (mathlib forks)

another note #32523

Sign in to view logs

another note

another note #32523

Triggered via push June 22, 2023 08:45
@riccardobrascariccardobrasca
pushed 25d2035
port/NumberTheory.Cyclotomic.Basic
Status Success
Total duration 11s
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