Skip to content
Ubuntu build

Strict monoidal categories are strict categories #1194 #2756

Sign in to view logs

Strict monoidal categories are strict categories #1194

Strict monoidal categories are strict categories #1194 #2756

Triggered via pull request February 22, 2025 13:36
@anshwad10anshwad10
synchronize #1196
anshwad10:strict-monoidal
Status Success
Total duration 2m 44s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
2m 36s
test-cubical
Fit to window
Zoom out
Zoom in