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

Draft

seisman wants to merge 1 commit into

mainfrom

ci/unpin-tectonic

GitHub Advanced Security / CodeQL succeeded Apr 28, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.