Skip to content

Release binaries and a GitHub Action - #10

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

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

Add a GitHub Action for running proof in a server's CI

38ab355
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
action
succeeded Oct 23, 2026 in 27s