diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index d7deeabdc..9df7b5f53 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -136,3 +136,11 @@ jobs: - name: Build run: ninja working-directory: build + - name: Run tests + timeout-minutes: 120 # TODO lower this + run: | + mkdir -p tmp && \ + python3 -m pytest --verbose --numprocesses=auto \ + --ignore=tests/test_code_conventions.py \ + --ignore=tests/test_kat_all.py \ + --ignore=tests/test_constant_time.py