Skip to content
continuous integration (mathlib forks)

Already ported in #3892 #26244

Sign in to view logs

Already ported in #3892

Already ported in #3892 #26244

Triggered via push May 23, 2023 04:25
@Parcly-TaxelParcly-Taxel
pushed ac3aee7
port/Data.Nat.PrimeNormNum
Status Success
Total duration 13s
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)
4s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in