Skip to content
Run pre-commit and in-place update PR on push

feat(CategoryTheory/Presentable): transport via an equivalence #7026

Sign in to view logs

feat(CategoryTheory/Presentable): transport via an equivalence

feat(CategoryTheory/Presentable): transport via an equivalence #7026

Triggered via pull request October 20, 2025 17:49
@joelrioujoelriou
opened #30731
joelriou:presentable-equivalence
Status Success
Total duration 25s
Artifacts –

pre-commit.yml

on: pull_request
main
20s
main
Fit to window
Zoom out
Zoom in