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

[INFRA] make circle artifact link a GH action, point to pdf #505

Merged
merged 3 commits into from
Jul 1, 2020
Merged

Conversation

sappelhoff
Copy link
Member

@sappelhoff sappelhoff commented Jun 18, 2020

closes #484

Some changes, because the HTML preview for PRs is now provided by Readthedocs.

  • turn circleici artifact redirector app into a GitHub action
  • make the app point to PDF build instead of HTML build

Now the big question is whether or not to remove the CircleCI build of the HTML version. Removing it would mean:

The readthedocs build apparently only uses requirements.txt and the "RTD defaults" which they install for every build anyhow. (interestingly, pymdown-extensions are not being installed by RTD, but are a requirement for the circleci build 🤷 edit: this pkg IS being installed, because it's a dependency of "mkdocs-material" )

I am not sure whether to remove or not. It seems fair to get rid of unneeded things ... especially if they are NOT an exact mirror of the Readthedocs build environment and thus cannot be of help for debugging.

What are your opinions?

@sappelhoff
Copy link
Member Author

What are your opinions?

pinging @yarikoptic and @effigies who have some experience with this.

I just don't want to merge this without prior discussion / approval.

@effigies
Copy link
Collaborator

effigies commented Jul 1, 2020

Seems fine.

@sappelhoff
Copy link
Member Author

Okay, I removed pipfile and pipfile.lock and made the build_docs job in circleci leaner ... but couldn't get rid of it because it's needed for the linkchecker job.

@sappelhoff sappelhoff merged commit 9a18813 into master Jul 1, 2020
@sappelhoff sappelhoff deleted the cis branch July 1, 2020 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use RTD builds for PRs instead of CircleCI
2 participants