No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
1 additions and
1 deletions
-
.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: |
|
|
|