Skip to content

Conversation

@tobiasgrosser
Copy link
Collaborator

@tobiasgrosser tobiasgrosser commented Jul 13, 2025

We do not want to offer a choice here, as this makes the code not copy-and-executable in a single step.

We also fix the latex-action to v3 to fix the build.

We do not want to offer a choice here, as this makes the code not
copy-and-executable in a single step.
@tobiasgrosser tobiasgrosser merged commit 01fd77b into main Jul 13, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants