Skip to content

refactor(CategoryTheory): simplicial categories are generalized to en… #11492

refactor(CategoryTheory): simplicial categories are generalized to en…

refactor(CategoryTheory): simplicial categories are generalized to en… #11492

Triggered via push October 30, 2024 00:13
Status Success
Total duration 9m 13s
Artifacts

bors.yml

on: push
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in