Merge pull request #558 from nim65s/ci

CI: nix alls-green

Author: jorisv

.github/workflows/nix.yml

@@ -2,6 +2,13 @@ name: "CI - Nix"
 
 on:
   push:
+    branches:
+      - master
+      - devel
+  pull_request:
+    branches:
+      - master
+      - devel
 
 jobs:
   nix:
@@ -17,3 +24,18 @@ jobs:
           name: gepetto
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       - run: nix build -L
+
+  check:
+    if: always()
+    name: check-macos-linux-nix
+
+    needs:
+      - nix
+
+    runs-on: Ubuntu-latest
+
+    steps:
+      - name: Decide whether the needed jobs succeeded or failed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}