Skip to content

[Merged by Bors] - feat(CategoryTheory/Sites): small 0-hypercovers #4482

[Merged by Bors] - feat(CategoryTheory/Sites): small 0-hypercovers

[Merged by Bors] - feat(CategoryTheory/Sites): small 0-hypercovers #4482

Triggered via pull request October 8, 2025 22:22
Status Success
Total duration 24s
Artifacts

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in