Skip to content

ci: Try use different action for building tex files#9

Merged
mrtz-j merged 8 commits intomainfrom
mrtz/ci
Aug 29, 2024
Merged

ci: Try use different action for building tex files#9
mrtz-j merged 8 commits intomainfrom
mrtz/ci

Commits

Commits on Aug 28, 2024