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.

Sign up for GitHub

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

Jump to bottom

Only try to deploy docs from pushes to `main`, not PRs #61

Closed

dylanhmorris opened this issue Apr 3, 2024 · 0 comments · Fixed by #62

Milestone

🏰 Gargoyleosaurus

Collaborator

dylanhmorris commented Apr 3, 2024 •

edited

Loading

Also: the deploy step of the Sphinx build workflow should only run on main, otherwise we'll get failures like the one we have here.

Originally posted by @dylanhmorris in #39 (review)

More precisely, only on pushes to main rather than PRs into main.

The text was updated successfully, but these errors were encountered:

dylanhmorris changed the title ~~Only try to deploy docs from main~~ Only try to deploy docs from pushes to main, not PRs

dylanhmorris linked a pull request

that will close this issue

Do not attempt to deploy Sphinx site in PRs #62

Merged

dylanhmorris mentioned this issue

Do not attempt to deploy Sphinx site in PRs #62

Merged

gvegayon closed this as completed in #62

dylanhmorris added this to the 🏰 Gargoyleosaurus milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment