Skip to content
continuous integration (mathlib forks)

Update TrivSqZeroExt.lean #76454

Sign in to view logs

Update TrivSqZeroExt.lean

Update TrivSqZeroExt.lean #76454

Triggered via push February 16, 2024 09:51
@eric-wiesereric-wieser
pushed 097ec6c
eric-wieser/use-rightaction-notation
Status Success
Total duration 11s
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)
2s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in