Skip to content

docs(release): Make+Nix release flow with gh publish#16

Merged
rtacconi merged 4 commits into
mainfrom
docs/release-make-nix-github
Apr 29, 2026
Merged

docs(release): Make+Nix release flow with gh publish#16
rtacconi merged 4 commits into
mainfrom
docs/release-make-nix-github

fix(ci): raise kani-shard timeouts (job was capped below install+proof)

b5d4328
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar