Missed Download

runtimeverification · Sep 18, 2023 · 59e5693 · 59e5693
1 parent 244ac83
commit 59e5693
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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