Skip to content
continuous integration (staging)

feat: port CategoryTheory.Monoidal.Rigid.OfEquivalence (#4660) #2966

Sign in to view logs

feat: port CategoryTheory.Monoidal.Rigid.OfEquivalence (#4660)

feat: port CategoryTheory.Monoidal.Rigid.OfEquivalence (#4660) #2966

Triggered via push June 5, 2023 01:30
@borsbors[bot]
pushed 8951bb6
staging
Status Success
Total duration 32m 56s
Artifacts –

bors.yml

on: push
Lint style
10s
Lint style
Check all files imported
8s
Check all files imported
Build
32m 35s
Build
Cancel Previous Runs (CI)
6s
Cancel Previous Runs (CI)
Post-CI job
6s
Post-CI job
Fit to window
Zoom out
Zoom in