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