Skip to content
continuous integration

fix #32932

Sign in to view logs

fix

fix #32932

Triggered via push June 29, 2023 12:12
@KomyyyKomyyy
pushed 58fc8b2
port/NumberTheory.LegendreSymbol.NormNum
Status Success
Total duration 13m 27s
Artifacts –

build.yml

on: push
Lint style
4m 40s
Lint style
Check all files imported
7s
Check all files imported
Build
13m 0s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
11s
Post-CI job
Fit to window
Zoom out
Zoom in