Skip to content
continuous integration

another note #31722

Sign in to view logs

another note

another note #31722

Triggered via push June 22, 2023 08:45
@riccardobrascariccardobrasca
pushed 25d2035
port/NumberTheory.Cyclotomic.Basic
Status Success
Total duration 14m 43s
Artifacts –

build.yml

on: push
Lint style
55s
Lint style
Check all files imported
7s
Check all files imported
Build
12m 15s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in