Updating workflow file name, and image dependency direct to released …

…kontrol images

.github/workflows/update-version-pr.yml → .github/workflows/test-pr.yml

@@ -3,20 +3,40 @@ name: 'Update Version'
 on:
   pull_request:
     branches:
-      - master
+      - "master"
+  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:
+    name: 'Set Image Version'
+    runs-on: [self-hosted, linux, flyweight]
+    outputs:
+      image-version: ${{ steps.image-version.outputs.kontrol_version }}
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: 'Set Image Version'
+        id: image-version
+        run: |
+          kontrol_version=$(cat deps/kontrol_release)
+          echo "kontrol_version=${kontrol_version}" >> $GITHUB_ENV
+
   new-version-test:
     name: 'Test Tool Update'
     runs-on: [self-hosted, linux, normal]
+    needs: [set-image-version]
     container:
-      image: ghcr.io/runtimeverification/devops/kup:643101c
-      volumes: 
-        - nixstorekup:/nix/store
+      image: runtimeverificationinc/kontrol:ubuntu-jammy-${{ needs.set-image-version.outputs.image-version }}
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -32,7 +52,7 @@ jobs:
         run: |
           set -euo pipefail
           new-version=$(cat deps/kontrol_release)
-          kup install kontrol --version ${new-version}
+          kup install --version ${new-version}
           # If all scripts in test.sh pass then the test is successful, else fail 
           # and print the name of the script that failed
           for script in ./tests/*.sh; do