opendp / docs.smartnoise.org

A work in progress.

Home Page:http://docs.opendp.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Does the pull request build?

pdurbin opened this issue · comments

Distinct from "ability to preview HTML from pull requests online" (#24) we should have the ability to know ahead of time if a pull request is going to build or not. That is, do all the requirements install? Does make html work?

Currently reviewers of pull requests do these checks manually, which is tedious.

I would think we'd be able to tweak our existing GitHub Actions script added in #9 to run the build on all branches but only push to GitHub Pages if it's the "latest" branch? That is, if the pull request has been merged or if the default branch has been updated directly.

I'm open to other ideas, of course!