Skip to content
continuous integration (mathlib forks)

Update Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean #39381

Sign in to view logs

Update Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean

Update Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean #39381

Triggered via push August 5, 2023 10:32
@semorrisonsemorrison
pushed b46ff65
whisker_equiv
Status Success
Total duration 15s
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