From 50226045d29530c2c46c6cb578a4adfbcb9a8627 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 18 Jan 2026 17:28:17 -0800 Subject: [PATCH] rename build-dist to dist Signed-off-by: Nikolaj Bjorner --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 4c8a796f3..b7ecea1f9 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -353,7 +353,7 @@ jobs: uses: actions/upload-artifact@v6 with: name: WindowsBuild-arm64 - path: build-dist/arm64/dist/*.zip + path: dist/arm64/dist/*.zip retention-days: 7 # ============================================================================