Remove test packaging

runtimeverification · Jul 11, 2023 · 077e0a3 · 077e0a3
1 parent 1d3f45c
commit 077e0a3
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -125,22 +125,6 @@ jobs:
           build-package: package/debian/build-package jammy
           test-package: package/debian/test-package
 
-  test-package-ubuntu-debian-bookworm:
-    name: 'K Debian Bookworm Package'
-    runs-on: [self-hosted, linux, normal]
-    needs: version-sync
-    steps:
-      - uses: actions/checkout@v3
-      - name: 'Build and Test'
-        uses: ./.github/actions/test-package
-        with:
-          os: debian
-          distro: bookworm
-          llvm: 14
-          pkg-name: kframework_amd64_debian_bookworm.deb
-          build-package: package/debian/build-package bookworm
-          test-package: package/debian/test-package
-
   compile-nix-flake:
     name: 'Nix flake'
     strategy: