Repository navigation

Release binaries and a GitHub Action - #10

Merged

bbatsov merged 3 commits into

mainfrom

Oct 23, 2026

Merged

Release binaries and a GitHub Action#10
bbatsov merged 3 commits into
mainfrom
releases

Commits on Oct 23, 2026
- Take proof's version from the build
  bbatsov
  committed
  6eb60b5
- Publish binaries for every platform when a version is tagged
  bbatsov
  committed
  8816dad
- Add a GitHub Action for running proof in a server's CI
  bbatsov
  committed
  38ab355