From 75b651d04a15f5bc507541fcee4150752c66d5b7 Mon Sep 17 00:00:00 2001 From: Kris Kwiatkowski Date: Mon, 11 Jul 2022 23:03:38 +0100 Subject: [PATCH] Update main.yml --- .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 251c902e..69bcb286 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -85,7 +85,7 @@ jobs: cd test/katrunner && wget http://amongbytes.com/files/kat.zip unzip kat.zip - cargo run --release -- --katdir KAT + cargo run --release -- --katdir kat MEMSAN: name: Memory Sanitizer build runs-on: [ubuntu-20.04]