Run pre-commit and in-place update PR on push

feat (RelCWComplex): a complex is the colimit of the inclusions of it… #8

Sign in to view logs

Triggered via push September 18, 2025 23:40

CWForward_colimits

Status Success

Total duration 26s

Artifacts –

pre-commit.yml

on: push

⚡