We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e9ea870 commit 45f7f15Copy full SHA for 45f7f15
.github/workflows/go-release.yml
@@ -89,5 +89,7 @@ jobs:
89
90
- name: print diff between development and release directory
91
run: |
92
+ RELEASE_DIR_NAME="${{ steps.release-dir.outputs.releaseDirName }}"
93
+ PROJECT_NAME="${{ github.event.inputs.project-name }}"
94
DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
95
echo $DIFF_FILES
0 commit comments