* Prevent build_artifacts.txt files from being published as GitHub releases * Bump version to 1.0.2; make PRBs not depend on flakey pr-approval job
This tests that the patch file can apply in CI.