Skip to content
continuous integration (mathlib forks)

typo #39176

Sign in to view logs

typo

typo #39176

Triggered via push August 3, 2023 19:18
@j-loreauxj-loreaux
pushed 4c77b4b
j-loreaux/Unitize
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