Skip to content

WIP: Revert "CI: Temporarily pin tectonic=0.15 (#4604)"#4606

Draft
seisman wants to merge 1 commit intomainfrom
ci/unpin-tectonic
Draft

WIP: Revert "CI: Temporarily pin tectonic=0.15 (#4604)"#4606
seisman wants to merge 1 commit intomainfrom
ci/unpin-tectonic

Commits

Commits on Apr 28, 2026