Skip to content

Update repository references and release infrastructure - #2030

Merged
bugarela merged 1 commit into
mainfrom
claude/festive-ramanujan-6b0whu
Sep 28, 2026
Merged

Update repository references and release infrastructure#2030
bugarela merged 1 commit into
mainfrom
claude/festive-ramanujan-6b0whu

Prepare release tooling for the move to quint-co/quint

bde70c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar