From 8cb140d9bbd3ff6ae7ddcbe4b743e8616c3df65b Mon Sep 17 00:00:00 2001 From: Adrian Bienkowski Date: Tue, 18 Aug 2026 01:02:19 -0400 Subject: [PATCH] fix: install Quint in release-verify gate make release-verify runs 'make typecheck' and 'make verify', which invoke Quint. The release-verify job never installed Quint, so the Makefile's QUINT fallback pointed at a non-existent ~/.hermes path and typecheck crashed with MODULE_NOT_FOUND, blocking the release pipeline. Install Quint globally before the gate, mirroring the CI quint job. --- .github/workflows/release.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 359d49e..eab96d0 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -31,6 +31,8 @@ jobs: cache-dependency-path: ts/package-lock.json - working-directory: ts run: npm ci + - name: Install Quint + run: npm install -g @informalsystems/quint - name: Release verification gate run: make release-verify