auto commit

Author: rishav-karanjit

.github/workflows/go-release.yml

@@ -86,3 +86,8 @@ jobs:
         run: |
           chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
           ./submodules/MaterialProviders/scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}
+      
+      - 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)
+          echo $DIFF_FILES