Right now, a simple PR like #103 has no CI run on it, so even though it almost certainly builds correctly, there's no feedback for the author that the PDF build is all good.
The workflow right now does both a build and a release, but if it's trivially modified to only do the latter part, then we can run it on all PRs (and throw the PDF away, or just link it from the PR).
I can try to get to this today, but filing in case I forget.
Right now, a simple PR like #103 has no CI run on it, so even though it almost certainly builds correctly, there's no feedback for the author that the PDF build is all good.
The workflow right now does both a build and a release, but if it's trivially modified to only do the latter part, then we can run it on all PRs (and throw the PDF away, or just link it from the PR).
I can try to get to this today, but filing in case I forget.