Skip to content
This repository was archived by the owner on Jul 1, 2023. It is now read-only.

Downloads PDFs for ETS#283

Draft
github-actions[bot] wants to merge 1 commit intomainfrom
ets-download-pdfs-85c3ba1
Draft

Downloads PDFs for ETS#283
github-actions[bot] wants to merge 1 commit intomainfrom
ets-download-pdfs-85c3ba1

Conversation

@github-actions
Copy link

New PDFs were able to be downloaded. If CI fails,
checkout the branch, fix the .txt files and commit
the changes.

@github-actions github-actions bot force-pushed the ets-download-pdfs-85c3ba1 branch from d6abc39 to 23a0b86 Compare May 27, 2023 01:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant