Skip to content
Tests

outsourced QuotientCategories to CategoricalTowers #1612

Sign in to view logs

outsourced QuotientCategories to CategoricalTowers

outsourced QuotientCategories to CategoricalTowers #1612

Re-run triggered September 30, 2023 13:37
@mohamed-barakatmohamed-barakat
#176
mohamed-barakat:QuotientCategories
Status Success
Total duration 17m 21s
Artifacts –

Tests.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in