Skip to content
continuous integration

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

Sign in to view logs

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

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

Triggered via push August 5, 2023 10:32
@semorrisonsemorrison
pushed b46ff65
whisker_equiv
Status Success
Total duration 43m 57s
Artifacts –

build.yml

on: push
Lint style
53s
Lint style
Check all files imported
10s
Check all files imported
Build
43m 30s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
11s
Post-CI job
Fit to window
Zoom out
Zoom in