Don't just build packages, also run tests

.github/workflows/nightly.yml

@@ -67,7 +67,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: nightly
-      - run: nix build -L --no-link ".#hax"
+      - run: ./check.sh hax
 
   charon:
     needs: update-flake
@@ -77,7 +77,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: nightly
-      - run: nix build -L --no-link ".#charon"
+      - run: ./check.sh charon
 
   eurydice:
     needs: update-flake
@@ -87,7 +87,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: nightly
-      - run: nix build -L --no-link ".#eurydice"
+      - run: ./check.sh eurydice
 
   ml-kem:
     needs: update-flake
@@ -97,7 +97,7 @@ jobs:
         with:
           ref: nightly
         uses: actions/checkout@v4
-      - run: nix build -L --no-link ".#ml-kem"
+      - run: ./check.sh ml-kem
 
   bertie:
     needs: update-flake
@@ -107,7 +107,7 @@ jobs:
         with:
           ref: nightly
         uses: actions/checkout@v4
-      - run: nix build -L --no-link ".#bertie"
+      - run: ./check.sh bertie
 
   process_results:
     needs: [hax, charon, eurydice, ml-kem, bertie]

check.sh

@@ -0,0 +1,2 @@
+#!/usr/bin/env bash
+nix build -L --no-link ".#checks.$(uname -m)-linux.$1"

flake.nix

@@ -56,22 +56,28 @@
     };
   };
 
-  outputs =
-    inputs:
-    inputs.flake-utils.lib.eachDefaultSystem (system: {
-      packages = rec {
+  outputs = inputs:
+    inputs.flake-utils.lib.eachDefaultSystem (system: rec {
+      packages = {
         hax = inputs.hax.packages.${system}.hax;
         charon = inputs.charon.packages.${system}.default;
         eurydice = inputs.eurydice.packages.${system}.default;
         ml-kem = inputs.libcrux.packages.${system}.ml-kem.override {
           cargoLock = ./libcrux-Cargo.lock;
         };
+        bertie = inputs.bertie.packages.${system}.default;
+        inherit inputs;
+      };
+      checks = rec {
+        hax = inputs.hax.checks.${system}.toolchain;
+        charon = inputs.charon.checks.${system}.charon-ml-checks;
+        eurydice = inputs.eurydice.checks.${system}.default;
+        ml-kem = packages.ml-kem;
         ml-kem-small = ml-kem.override {
           checkHax = false;
           runBenchmarks = false;
         };
-        bertie = inputs.bertie.packages.${system}.default;
-        inherit inputs;
+        bertie = packages.bertie;
       };
     });
 }