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

Downloads PDFs for ETS#285

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

Downloads PDFs for ETS#285
github-actions[bot] wants to merge 1 commit intomainfrom
ets-download-pdfs-80d6d9d

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-80d6d9d branch 5 times, most recently from b419d56 to 0a166b6 Compare June 2, 2023 01:36
@github-actions github-actions bot force-pushed the ets-download-pdfs-80d6d9d branch from 0a166b6 to cfa14ba Compare June 3, 2023 01:35
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