From 8345f7cf4b9eec8a7aa681ccdc995192741b8977 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Thu, 15 Feb 2024 14:41:37 +0100
Subject: [PATCH] removes triggering of Viper-IDE CI

---
 .github/workflows/scala.yml | 19 -------------------
 1 file changed, 19 deletions(-)

diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
index 060840e..2f6ba78 100644
--- a/.github/workflows/scala.yml
+++ b/.github/workflows/scala.yml
@@ -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