Browse Source

kat: run in release mode

tags/v0.0.1
Henry Case 3 years ago
parent
commit
fd21b95a2d
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      .github/workflows/main.yml

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

@@ -29,4 +29,4 @@ jobs:
cd test/katrunner && cd test/katrunner &&
curl http://amongbytes.com/~flowher/permalinks/kat.zip --output kat.zip curl http://amongbytes.com/~flowher/permalinks/kat.zip --output kat.zip
unzip kat.zip unzip kat.zip
cargo run -- --katdir KAT
cargo run --release -- --katdir KAT

Loading…
Cancel
Save