瀏覽代碼

Run KAT in separated step

tags/v0.0.1
Henry Case 3 年之前
父節點
當前提交
24881fade8
共有 1 個檔案被更改,包括 19 行新增4 行删除
  1. +19
    -4
      .github/workflows/main.yml

+ 19
- 4
.github/workflows/main.yml 查看文件

@@ -45,10 +45,6 @@ jobs:
cc: clang
cxx: clang++
flags: -DCMAKE_BUILD_TYPE=Release -DADDRSAN=1
- name: clang-debug-msan-build
cc: clang
cxx: clang++
flags: -DCMAKE_BUILD_TYPE=Release -DMEMSAN=1
steps:
- uses: actions/checkout@v1
with:
@@ -65,6 +61,25 @@ jobs:
- name: Build Rust bindings
run: |
cd src/rustapi/pqc-sys && cargo build
KAT:
name: Known Answer Tests
runs-on: [ubuntu-20.04]
steps:
- uses: actions/checkout@v1
with:
submodules: true
- name: build
run: |
mkdir -p build
cd build
CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Release ..
make
- name: run tests
run: |
cd build && ./ut
- name: Build Rust bindings
run: |
cd src/rustapi/pqc-sys && cargo build
- name: Run KAT tests
run: |
cd test/katrunner &&


Loading…
取消
儲存