From 26bd976c39a07e01e186e6f3cf6e8bbb62ce9e61 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Thu, 19 Dec 2024 12:00:39 -0800
Subject: [PATCH] Update flake.nix

The nix flake does not run the tests meaning that the code-gen error was not caught as intended
---
 flake.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/flake.nix b/flake.nix
index 02c470ed6..2718f346b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -118,6 +118,8 @@
                   -DCMAKE_SHARED_LINKER_FLAGS="-fuse-ld=mold" \
                   -G "Ninja Multi-Config" -B build
                 cmake --build build --config Release
+                build/ml_kem_test
+                build/sha3_test
                 rm -rf build/_deps
               '';
               checkPhase = ''