Repository navigation

[CI] Update the CI. - #9

Merged

Seven-Streams merged 2 commits into

mainfrom

Seven-Streams-patch-1

Oct 12, 2025

Merged

[CI] Update the CI.#9
Seven-Streams merged 2 commits into
mainfrom
Seven-Streams-patch-1

Commits on Oct 5, 2025
- Update GitHub Actions triggers for LaTeX build
  Seven-Streams
  authored
  7a6f602
- Update upload-artifact action to version 4
  Seven-Streams
  authored
  bf076d4