Skip to content

Merge pull request #237 from TideDra/fix/prioritize_tex #72

Merge pull request #237 from TideDra/fix/prioritize_tex

Merge pull request #237 from TideDra/fix/prioritize_tex #72

Triggered via push April 14, 2026 12:02
Status Success
Total duration 46s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in