Skip to content

Commit 72d0cca

Browse files
committed
ci: fix release workflow - remove missing build.sh
Copy commands directly from src/mcp/cmd/commands/
1 parent e0a81da commit 72d0cca

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

.github/workflows/release.yml

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -29,9 +29,6 @@ jobs:
2929
go-version: '1.23'
3030
cache-dependency-path: src/mcp/go.sum
3131

32-
- name: Generate commands
33-
run: ./build.sh
34-
3532
- name: Build MCP binary
3633
run: |
3734
cd src/mcp
@@ -46,7 +43,7 @@ jobs:
4643
mkdir -p "package/bin"
4744
mkdir -p "package/commands"
4845
mv "dist/quint-code" "package/bin/quint-code"
49-
cp -r dist/* package/commands/
46+
cp -r src/mcp/cmd/commands/* package/commands/
5047
TAG=${GITHUB_REF_NAME#v}
5148
ASSET_NAME="quint-code-${TAG}-${{ matrix.platform.os }}-${{ matrix.platform.arch }}.tar.gz"
5249
tar -czf "$ASSET_NAME" -C "package" .

0 commit comments

Comments
 (0)