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 e23ca0aCopy full SHA for e23ca0a
.github/workflows/go-release.yml
@@ -89,5 +89,5 @@ jobs:
89
90
- name: print diff between development and release directory
91
run: |
92
- DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
+ DIFF_FILES=$(diff -qr ${{ github.event.inputs.project-name }}/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
93
echo $DIFF_FILES
0 commit comments