Maintainer merge

feat: the Levi-Civita connection on a manifold #320149

Sign in to view logs

Triggered via pull request August 21, 2026 22:02

grunweg

submitted #36845

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: pull_request_review

Ping maintainers on Zulip