Skip to content

Conversation

jolnd
Copy link

@jolnd jolnd commented May 24, 2023

Attempt at making a GitHub Action to run the pdf make files.

@tomooda
Copy link
Member

tomooda commented Feb 21, 2025

Hi Jonas, sorry for a very long wait. Do you want this to be merged?

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