fixes CI

viperproject · Jul 28, 2021 · 3e7d117 · 3e7d117
1 parent 9be2f73
commit 3e7d117
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
@@ -361,7 +361,7 @@ jobs:
  \"inputs\":{ \
  \"type\":\"nightly\", \
  \"viperserver_tag_name\":\"${{ env.TAG_NAME }}\", \
- \"boogie_version\":\"latest\", \
+ \"boogie_tag_name\":\"latest\", \
  \"z3_version\":\"${{ env.Z3_VERSION }}\", \
  \"tag_name\":\"${{ env.TAG_NAME }}\", \
  \"release_name\":\"Nightly Release ${{ env.TAG_NAME }}\" \