From e23ca0a2a525056f258853d934f56533465781d7 Mon Sep 17 00:00:00 2001 From: Rishav karanjit Date: Tue, 26 Aug 2025 11:09:07 -0700 Subject: [PATCH 1/4] Update go-release.yml --- .github/workflows/go-release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/go-release.yml b/.github/workflows/go-release.yml index 32bce669a..16ec211d0 100644 --- a/.github/workflows/go-release.yml +++ b/.github/workflows/go-release.yml @@ -89,5 +89,5 @@ jobs: - name: print diff between development and release directory run: | - DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true) + DIFF_FILES=$(diff -qr ${{ github.event.inputs.project-name }}/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true) echo $DIFF_FILES From daeb1a0d83db621120f24eaf498690abc4425287 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 26 Aug 2025 12:11:52 -0700 Subject: [PATCH 2/4] emtpy commit to run CI From 89b4766f12dc334bd353f315215658be24f6ecb3 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 26 Aug 2025 14:49:55 -0700 Subject: [PATCH 3/4] auto commit --- .github/workflows/go-release.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/go-release.yml b/.github/workflows/go-release.yml index 16ec211d0..ca2fe731d 100644 --- a/.github/workflows/go-release.yml +++ b/.github/workflows/go-release.yml @@ -89,5 +89,6 @@ jobs: - name: print diff between development and release directory run: | + git branch --show-current DIFF_FILES=$(diff -qr ${{ github.event.inputs.project-name }}/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true) echo $DIFF_FILES From 14a806c65e7c457c2d845dbc96a9ae0246ab6a24 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 26 Aug 2025 15:25:03 -0700 Subject: [PATCH 4/4] auto commit --- .github/workflows/go-release.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/go-release.yml b/.github/workflows/go-release.yml index ca2fe731d..294227cc9 100644 --- a/.github/workflows/go-release.yml +++ b/.github/workflows/go-release.yml @@ -89,6 +89,7 @@ jobs: - name: print diff between development and release directory run: | - git branch --show-current - DIFF_FILES=$(diff -qr ${{ github.event.inputs.project-name }}/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true) + RELEASE_DIR_NAME="${{ steps.release-dir.outputs.releaseDirName }}" + PROJECT_NAME="${{ github.event.inputs.project-name }}" + DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true) echo $DIFF_FILES