Combine workflows Materialize and Test

The materialization check is moved into the Release workflow.

Author: ttuegel

.github/workflows/materialize.yml

@@ -4,25 +4,54 @@ on:
     branches:
       - master
 jobs:
+  check:
+    name: 'Check'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out code
+        uses: actions/[email protected]
+        with:
+          submodules: recursive
+
+      - name: Install Nix
+        uses: cachix/install-nix-action@v12
+        with:
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+
+      - name: Install Cachix
+        uses: cachix/cachix-action@v8
+        with:
+          name: runtimeverification
+          extraPullNames: 'kore'
+          skipPush: true
+
+      - name: Check materialization
+        run: nix-build --arg checkMaterialization true -A project.stack-nix
+
   release:
     name: 'Release'
     runs-on: ubuntu-latest
     steps:
-    - name: Check out code
-      uses: actions/[email protected]
-      with:
-        submodules: recursive
-    - name: Install Nix
-      uses: cachix/install-nix-action@v12
-      with:
-        extra_nix_config: |
-          substituters = http://cache.nixos.org https://hydra.iohk.io
-          trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-    - name: Install Cachix
-      uses: cachix/cachix-action@v8
-      with:
-        name: runtimeverification
-        signingKey: '${{ secrets.RUNTIMEVERIFICATION_CACHIX_SIGNING_KEY }}'
-        extraPullNames: 'kore'
-    - name: Build
-      run: nix-build -A kore -A project.kore.checks
+      - name: Check out code
+        uses: actions/[email protected]
+        with:
+          submodules: recursive
+
+      - name: Install Nix
+        uses: cachix/install-nix-action@v12
+        with:
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+
+      - name: Install Cachix
+        uses: cachix/cachix-action@v8
+        with:
+          name: runtimeverification
+          signingKey: '${{ secrets.RUNTIMEVERIFICATION_CACHIX_SIGNING_KEY }}'
+          extraPullNames: 'kore'
+
+      - name: Build
+        run: nix-build -A kore -A project.kore.checks

.github/workflows/release.yml

@@ -2,42 +2,50 @@ name: "Test"
 on:
   pull_request:
   push:
+    branches-ignore:
+      - 'master'
 jobs:
-  test-nix:
+  nix:
     name: 'Nix'
     runs-on: ubuntu-latest
     steps:
-    - name: Check out code
-      uses: actions/[email protected]
-      with:
-        submodules: recursive
+      - name: Check out code
+        uses: actions/[email protected]
+        with:
+          submodules: recursive
 
-    - name: Install Nix
-      uses: cachix/install-nix-action@v12
-      with:
-        extra_nix_config: |
-          substituters = http://cache.nixos.org https://hydra.iohk.io
-          trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+      - name: Install Nix
+        uses: cachix/install-nix-action@v12
+        with:
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
 
-    - name: Install Cachix
-      uses: cachix/cachix-action@v8
-      with:
-        name: kore
-        signingKey: '${{ secrets.KORE_CACHIX_SIGNING_KEY }}'
+      - name: Install Cachix
+        uses: cachix/cachix-action@v8
+        with:
+          name: kore
+          signingKey: '${{ secrets.KORE_CACHIX_SIGNING_KEY }}'
+
+      - name: Materialize
+        run: ./nix/rematerialize.sh
 
-    - name: Check materialization
-      run: nix-build --arg checkMaterialization true -A project.stack-nix
+      - name: Commit changes
+        uses: stefanzweifel/[email protected]
+        with:
+          commit_message: 'Materialize Nix expressions'
+          file_pattern: 'nix/'
 
-    - name: Build
-      run: nix-build -A kore
+      - name: Build
+        run: nix-build -A kore
 
-    - name: Run unit tests
-      run: nix-build -A project.kore.checks
+      - name: Run unit tests
+        run: nix-build -A project.kore.checks
 
-    - name: Check shell
-      run: nix-shell --run "echo OK"
+      - name: Check shell
+        run: nix-shell --run "echo OK"
 
-  test-cabal:
+  cabal:
     name: 'Cabal'
     runs-on: ubuntu-latest
     steps: