From 8883e7d01b4f6be0e9d4fe80c7f8f7c8d27f8b25 Mon Sep 17 00:00:00 2001
From: Nathaniel Brough <nathaniel.brough@gmail.com>
Date: Wed, 16 Oct 2024 14:40:48 +1000
Subject: [PATCH] Remove unnecessary command line flags from CI

Co-authored-by: Spencer Wilson <spencer.wilson@uwaterloo.ca>
Signed-off-by: Nathaniel Brough <nathaniel.brough@gmail.com>
---
 .github/workflows/basic.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/basic.yml b/.github/workflows/basic.yml
index 6cde84946..69061e21d 100644
--- a/.github/workflows/basic.yml
+++ b/.github/workflows/basic.yml
@@ -106,7 +106,6 @@ jobs:
           mkdir build && \
           cd build && \
           cmake -GNinja -DOQS_STRICT_WARNINGS=ON \
-            -GNinja \
             -DOQS_BUILD_FUZZ_TESTS=ON \
             -DOQS_MINIMAL_BUILD="SIG_$SIG_NAME" \
             --warn-uninitialized .. > config.log 2>&1 && \