break

.github/workflows/push.yml

@@ -3,55 +3,52 @@ on:
   workflow_dispatch:
 
 jobs:
+  # This would be nicer as a matrix, but that hits limits of what github actions can currenctly express. See e.g.:
+  # - https://github.com/orgs/community/discussions/17245
+  # - https://github.com/orgs/community/discussions/26640
+  # - https://github.com/actions/runner/pull/2477
   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"
+      # - run: nix build -L --no-link ".#ml-kem"
+      - run: false
+
   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]
-    runs-on: [self-hosted, linux, nix]
-    if: success()
-    steps:
-      - run: |
-          echo "yay"
-
-  failure:
+  complete:
     needs: [hax, charon, eurydice, ml-kem, bertie]
     runs-on: [self-hosted, linux, nix]
-    if: failure()
+    if: ${{ success() || 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 }}"
-
-
+      - env:
+          RESULTS: ${{ toJSON(needs) }}
+        run: |
+          echo $RESULTS | nix shell nixpkgs#jq --command jq