Label PRs

Improve latex typography #137

Sign in to view logs

Triggered via pull request January 15, 2026 22:33

hjmjohnson

opened #231

Status Success

Total duration 28s

Artifacts –

label-pr.yml

on: pull_request_target