Separate test and release workflows

Author: ttuegel

.github/workflows/release.yml

@@ -0,0 +1,16 @@
+name: "Release"
+on:
+  push:
+jobs:
+  tests:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/[email protected]
+      with:
+        submodules: recursive
+    - uses: cachix/install-nix-action@v12
+    - uses: cachix/cachix-action@v8
+      with:
+        name: runtimeverification
+        signingKey: '${{ secrets.RUNTIMEVERIFICATION_CACHIX_SIGNING_KEY }}'
+    - run: nix-build -A kore -A project.kore.checks

.github/workflows/test.yml

@@ -12,8 +12,8 @@ jobs:
     - uses: cachix/install-nix-action@v12
     - uses: cachix/cachix-action@v8
       with:
-        name: runtimeverification
-        signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+        name: kore
+        signingKey: '${{ secrets.KORE_CACHIX_SIGNING_KEY }}'
     - run: nix-build --arg checkMaterialization true -A kore -A project.kore.checks
     - run: nix-shell --run "echo OK"