auto commit

Author: rishav-karanjit

.github/workflows/go-release.yml

@@ -86,8 +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
+          echo $DIFF_FILES