New approach to the weekly CI

.github/workflows/push.yml

@@ -0,0 +1,55 @@
+on:
+  push:
+  workflow_dispatch:
+
+jobs:
+  hax:
+    runs-on: [self-hosted, linux, nix]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+      - run: nix build -L --no-link ".#hax"
+  charon:
+    runs-on: [self-hosted, linux, nix]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+      - run: nix build -L --no-link ".#charon"
+  eurydice:
+    runs-on: [self-hosted, linux, nix]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+      - run: nix build -L --no-link ".#eurydice"
+  ml-kem:
+    runs-on: [self-hosted, linux, nix]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+      - run: nix build -L --no-link ".#ml-kem"
+  bertie:
+    runs-on: [self-hosted, linux, nix]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+      - run: nix build -L --no-link ".#bertie"
+
+  success:
+    needs: [hax, charon, eurydice, ml-kem, bertie]
+    if: success()
+    steps:
+      - run: |
+          echo "yay"
+
+  failure:
+    needs: [hax, charon, eurydice, ml-kem, bertie]
+    if: failure()
+    steps:
+      - run: |
+          echo "hax: ${{ needs.hax.result }}"
+          echo "charon: ${{ needs.charon.result }}"
+          echo "eurydice: ${{ needs.eurydice.result }}"
+          echo "ml-kem: ${{ needs.ml-kem.result }}"
+          echo "bertie: ${{ needs.bertie.result }}"
+
+