Skip to content

CI: publish per-commit Verus releases, matching the cvc5 and z3 forks - #3

Merged
kiranandcode merged 2 commits into
mainfrom
ci/basis-build-publish
Sep 3, 2026
Merged

CI: publish per-commit Verus releases, matching the cvc5 and z3 forks#3
kiranandcode merged 2 commits into
mainfrom
ci/basis-build-publish

Publish from this branch while the PR waits on review

f1ec9a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build / build (macos)
succeeded Sep 3, 2026 in 8m 52s