diff --git a/.github/workflows/go-release.yml b/.github/workflows/go-release.yml index 32bce669a..294227cc9 100644 --- a/.github/workflows/go-release.yml +++ b/.github/workflows/go-release.yml @@ -89,5 +89,7 @@ jobs: - name: print diff between development and release directory run: | + 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