Skip to content

Release binaries and a GitHub Action - #10

Merged
bbatsov merged 3 commits into
mainfrom
releases
Oct 23, 2026
Merged

bbatsov merged 3 commits into
mainfrom
releases

Conversation

@bbatsov

@bbatsov bbatsov commented Oct 23, 2026

Copy link
Copy Markdown
Contributor

Tagging a version builds binaries for Linux, macOS and Windows and publishes a release with that version's CHANGELOG section as its notes. The action downloads the release's binary when it's used at a tag, and builds proof from source otherwise. proof's own CI runs it with the eval checks only, as it tests the action, not Babashka.

proof always said it was 0.1.0-dev. Releases set the version at build
time now, and otherwise it's the one go install records in the binary
(e.g. 0.1.0 for @v0.1.0, or a pseudo-version for a commit).
Servers that want proof in their CI shouldn't need Go for it, and
they need a version they can pin. Tagging a version now builds proof for
Linux, macOS and Windows and publishes the binaries in a GitHub release,
with the version's section of the new CHANGELOG as its notes. The
Releasing section of the hacking guide has the steps.
With the action, a server's workflow needs nothing but uses:
nrepl/proof@v0.1.0 and the path to its profile. It downloads the binary
of the release, and builds proof from source for anything that isn't a
release, which is also how proof's own CI runs it against Babashka.
@bbatsov
bbatsov merged commit 8449fa8 into main Oct 23, 2026
5 checks passed
@bbatsov
bbatsov deleted the releases branch October 23, 2026 17:57
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.

1 participant