Try building for release

Author: Baltoli

.github/workflows/release.yml

@@ -23,26 +23,44 @@ jobs:
             --title ${VERSION} \
             --target ${{ github.sha }}
 
-  attach-artifact:
-    name: 'Jammy Package'
-    runs-on: ubuntu-latest
-    needs: draft-release
+  build-jammy-package:
+    name: 'Build Ubuntu Jammy package'
+    runs-on: [self-hosted, linux, normal]
+
     steps:
+      - uses: actions/checkout@v4
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Make artifact'
+        with:
+          path: k-llvm-jammy
+          submodules: recursive
+
+      - name: 'Build package in Docker'
+        uses: ./.github/actions/test-package
+        with:
+          os: ubuntu
+          distro: jammy
+          llvm: 15
+          build-package: package/debian/build-package jammy
+          test-package: package/debian/test-package
+          pkg-name: k-llvm-backend_amd64_ubuntu_jammy.deb
+
+      - name: 'Upload to release'
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           set -x
           VERSION=v$(cat package/version)
-          echo 'hi there!' > k-llvm-backend.deb
-          gh release upload ${VERSION} k-llvm-backend.deb
+          cp k-llvm-backend_amd64_ubuntu_jammy.deb k-llvm-backend_${VERSION}_amd64_ubuntu_jammy.deb
+          gh release upload \
+            --repo runtimeverification/llvm-backend \
+            --clobber ${VERSION} \
+            k-llvm-backend_${VERSION}_amd64_ubuntu_jammy.deb
 
   finish-release:
     name: 'Finalise release'
     runs-on: ubuntu-latest
-    needs: attach-artifact
+    needs: build-jammy-package
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4