Missed BUil and test

runtimeverification · Sep 18, 2023 · 244ac83 · 244ac83
1 parent 8f3e712
commit 244ac83
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -115,14 +115,14 @@ jobs:
     needs: version-sync
     steps:
       - uses: actions/checkout@v3
-      - name: 'Build and Test'
-        uses: ./.github/actions/test-package
-        with:
-          os: ubuntu
-          distro: jammy
-          llvm: 14
-          build-package: package/debian/build-package jammy
-          test-package: package/debian/test-package
+      # - name: 'Build and Test'
+      #   uses: ./.github/actions/test-package
+      #   with:
+      #     os: ubuntu
+      #     distro: jammy
+      #     llvm: 14
+      #     build-package: package/debian/build-package jammy
+      #     test-package: package/debian/test-package
       # - name: On Failure, Upload the kore-exec.tar.gz file to the Summary Page
       #   if: failure()
       #   uses: actions/upload-artifact@v2