Browse Source

Update main.yml

pull/24/head
Henry Case 2 years ago
committed by GitHub
parent
commit
75b651d04a
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      .github/workflows/main.yml

+ 1
- 1
.github/workflows/main.yml View File

@@ -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]


Loading…
Cancel
Save