From fd21b95a2d20cc2877395f1c97f2b735de0fc349 Mon Sep 17 00:00:00 2001
From: Kris Kwiatkowski <contact@amongbytes.com>
Date: Tue, 25 May 2021 12:30:35 +0100
Subject: [PATCH] kat: run in release mode

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3cf62f4b..7bbf77cd 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,4 +29,4 @@ jobs:
           cd test/katrunner &&
           curl http://amongbytes.com/~flowher/permalinks/kat.zip --output kat.zip
           unzip kat.zip
-          cargo run -- --katdir KAT
+          cargo run --release -- --katdir KAT