Open traversaro opened 4 years ago
For reviewing PRs, it would be useful to upload the PDF generated by a successful commit as a GitHub Action artefact, so that it can be inspected before merging the PR to master, that will upload the PDF to the website.
For reviewing PRs, it would be useful to upload the PDF generated by a successful commit as a GitHub Action artefact, so that it can be inspected before merging the PR to master, that will upload the PDF to the website.