Skip to content

Commit

Permalink
removes triggering of Viper-IDE CI
Browse files Browse the repository at this point in the history
  • Loading branch information
ArquintL committed Feb 15, 2024
1 parent fb6886e commit 8345f7c
Showing 1 changed file with 0 additions and 19 deletions.
19 changes: 0 additions & 19 deletions .github/workflows/scala.yml
Original file line number Diff line number Diff line change
Expand Up @@ -357,25 +357,6 @@ jobs:
asset_name: viperserver.jar
asset_content_type: application/octet-stream

- name: Trigger Viper-IDE CI
if: env.MATCHING_RELEASE != 'true'
run: |
curl --fail --request POST \
--user 'viper-admin:${{ secrets.VIPER_ADMIN_TOKEN }}' \
--header 'Accept: application/vnd.github.v3+json' \
--url 'https://api.github.com/repos/viperproject/viper-ide/actions/workflows/test.yml/dispatches' \
--data "{ \
\"ref\":\"master\", \
\"inputs\":{ \
\"type\":\"nightly\", \
\"viperserver_tag_name\":\"${{ env.TAG_NAME }}\", \
\"boogie_tag_name\":\"latest\", \
\"z3_version\":\"${{ env.Z3_VERSION }}\", \
\"tag_name\":\"${{ env.TAG_NAME }}\", \
\"release_name\":\"Nightly Release ${{ env.TAG_NAME }}\" \
} \
}"

create-stable-release:
needs: test
Expand Down

0 comments on commit 8345f7c

Please sign in to comment.