From 6d630cc658df49a252229ef67680eba3b2f8dd8d Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Tue, 6 Feb 2024 14:02:35 +0000
Subject: [PATCH] Drop PL tutorial duplicate work in CI (#3963)

Previously, we were doing a lot of repeated work here, and the explicit
clone step is pulling a defunct repository (k-exercises; superseded by
pl-tutorial). We should therefore just drop this step in CI as it's
superseded by other places in the workflow.

Fixes https://github.com/runtimeverification/k/issues/3962
---
 .github/workflows/test-pr.yml | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 5491765209a..6210ff3cd3b 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -66,26 +66,6 @@ jobs:
           llvm: 15
       - name: 'Build and Test K'
         run: docker exec -t k-ci-${GITHUB_SHA} /bin/bash -c 'mvn verify -Dspotless.check.skip=true --batch-mode -U'
-      - name: 'Check out k-exercises'
-        uses: actions/checkout@v3
-        with:
-          repository: runtimeverification/k-exercises
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
-          submodules: recursive
-          path: k-exercises
-      - name: 'Check out pl-tutorial'
-        uses: actions/checkout@v3
-        with:
-          repository: runtimeverification/pl-tutorial
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
-          submodules: recursive
-          path: k-distribution/pl-tutorial
-      - name: 'Tutorial Integration Tests'
-        run: |
-          docker exec -t k-ci-${GITHUB_SHA} /bin/bash -c 'k-distribution/target/release/k/bin/spawn-kserver kserver.log'
-          docker exec -t k-ci-${GITHUB_SHA} /bin/bash -c 'cd k-exercises/tutorial && make -j`nproc` --output-sync'
-          docker exec -t k-ci-${GITHUB_SHA} /bin/bash -c 'cd k-distribution/k-tutorial/1_basic && ./test_kompile.sh'
-          docker exec -t k-ci-${GITHUB_SHA} /bin/bash -c 'cd k-distribution/k-tutorial/2_intermediate && ./test_kompile.sh'
       - name: 'Tear down Docker'
         if: always()
         run: |