From 59e569308b9c1266e6787f611d94d30c63020d20 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Mon, 18 Sep 2023 13:31:39 -0600
Subject: [PATCH] Missed Download

---
 .github/workflows/test-pr.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 95c8eb43af0..0f06a6b50e9 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -145,10 +145,10 @@ jobs:
     needs: test-package-ubuntu-jammy
     steps:
       - uses: actions/checkout@v3
-      - name: 'Download K package from the Summary Page'
-        uses: actions/download-artifact@v3
-        with:
-          name: kframework.deb
+      # - name: 'Download K package from the Summary Page'
+      #   uses: actions/download-artifact@v3
+      #   with:
+      #     name: kframework.deb
       # - name: 'Set up Docker Test Image'
       #   env:
       #     BASE_OS: ubuntu