From 0959a786161bc0810332aeffaf9a32b5e608af43 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Thu, 28 Sep 2023 20:16:35 -0600
Subject: [PATCH]  Dropping update-version.sh no longer needed as devops
 repository handles the update of deps/release files and creating a PR

---
 .github/workflows/update-version.yml | 33 ----------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 .github/workflows/update-version.yml

diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
deleted file mode 100644
index dfd7ca90..00000000
--- a/.github/workflows/update-version.yml
+++ /dev/null
@@ -1,33 +0,0 @@
-name: 'Update Version'
-on:
-  push:
-    branches:
-      - '_update-deps/runtimeverification/kontrol'
-# Stop in progress workflows on the same branch and same workflow to use latest committed code
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
-jobs:
-  set-image-version:
-    runs-on: [self-hosted, linux, flyweight]
-    steps:
-      - uses: actions/checkout@v3
-        with:  
-          token: ${{ secrets.JENKINS_DEVOPS_TOKEN }}
-      - name: Set image version
-        run: |
-          # Search replace previous version in .github/workflows/test-pr.yml with new version in deps/kontrol_release
-          version=$(cat deps/kontrol_release)
-          sed -i "s/kontrol:ubuntu-jammy-.*$/kontrol:ubuntu-jammy-${version}/g" .github/workflows/test-pr.yml
-          git config --global user.name "DevOps"
-          git config --global user.email "devops@runtimeverification.com"
-          if [[ -z $(git status -s) ]]; then
-            echo "No changes to commit"
-            exit 0
-          fi
-          else
-            git add .
-            git commit -m "Update kontrol image version to ${version}"
-            git push origin HEAD:${{ github.ref }}
-          fi
\ No newline at end of file