Skip to content
continuous integration (mathlib forks)

Update Mathlib/Util/PiNotation.lean #51156

Sign in to view logs

Update Mathlib/Util/PiNotation.lean

Update Mathlib/Util/PiNotation.lean #51156

Triggered via push October 13, 2023 21:16
@digama0digama0
pushed 983969e
pm_delab
Status Success
Total duration 12s
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