From a00ed72798676ce58232e2289289a04934de22a5 Mon Sep 17 00:00:00 2001 From: Kris Kwiatkowski Date: Mon, 11 Jul 2022 13:51:19 +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 f351fda7..ec892ada 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -83,7 +83,7 @@ jobs: - name: Run KAT tests run: | cd test/katrunner && - curl http://nice.pqsh.net/files/kat.zip --output kat.zip + curl http://amongbytes.com/files/kat.zip --output kat.zip unzip kat.zip cargo run --release -- --katdir kat MEMSAN: