No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
2 additions and
2 deletions
-
.github/workflows/main.yml
|
|
@@ -83,9 +83,9 @@ jobs: |
|
|
|
- name: Run KAT tests |
|
|
|
run: | |
|
|
|
cd test/katrunner && |
|
|
|
curl http://amongbytes.com/files/kat.zip --output kat.zip |
|
|
|
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] |
|
|
|