From 244ac83b22a4a43b184d2007bc12b3383d9dd221 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Mon, 18 Sep 2023 13:24:47 -0600
Subject: [PATCH] Missed BUil and test

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

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index c0356e02910..95c8eb43af0 100644
--- 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