Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: Deploy documentation HTML ZIP archive and PDF file for dev versions #3794

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

seisman
Copy link
Member

@seisman seisman commented Feb 8, 2025

Addressing #3731 (comment).

@seisman seisman added the maintenance Boring but important stuff for the core devs label Feb 8, 2025
Comment on lines +159 to +164
- name: Upload the HTML ZIP archive and PDF as release assets
run: gh release upload ${{ github.ref_name }} doc/_build/pygmt-docs.zip doc/_build/pygmt-docs.pdf
if: github.event_name == 'release' && matrix.os == 'ubuntu-latest'
env:
GH_TOKEN: ${{ github.token }}

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The plan is to keep the first two steps in this PR and open a separate PR for the 3rd step (uploading as release assets) since this step needs more testing than the other two steps.

@seisman seisman changed the title POC: CI: Deploy documentation HTML ZIP archive and PDF file for dev and releases CI: Deploy documentation HTML ZIP archive and PDF file for dev versions Feb 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Boring but important stuff for the core devs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant