Skip to content

ci: tag each crates.io release as v<version> (port consensus Create git tag) - #2

Merged
secsovereign merged 2 commits into
mainfrom
ci/tag-releases
Oct 22, 2026
Merged

ci: tag each crates.io release as v<version> (port consensus Create git tag)#2
secsovereign merged 2 commits into
mainfrom
ci/tag-releases

docs: stop calling Z3-checked functions mathematically locked.

d62adb1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar