From 93a2b38de9ec97aa191516a87a24ea11b8d3056a Mon Sep 17 00:00:00 2001
From: Spencer Wilson <spencer.wilson@uwaterloo.ca>
Date: Tue, 7 Jan 2025 13:52:43 -0500
Subject: [PATCH] Add CI tests

---
 .github/workflows/ci.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 75d7167..32cce08 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -29,6 +29,19 @@ jobs:
     - name: Run tests
       run: cargo test
 
+  pqc:
+    name: Run PQC tests
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master
+    - uses: actions-rs/toolchain@v1
+      with:
+        profile: minimal
+        toolchain: stable
+        override: true
+    - name: Run tests
+      run: cargo test --features backend-dilithium2,backend-dilithium3,backend-dilithium5
+
   clippy:
     name: Run clippy
     runs-on: ubuntu-latest