auto commit

Author: rishav-karanjit

.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