Add hacl build action to CI

cryspen · Aug 29, 2023 · 7d035c4 · 7d035c4
1 parent 2879441
commit 7d035c4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -42,3 +42,6 @@ jobs:
 
     - name: Run tests
       run: cargo test --verbose
+
+    - name: Build sys/hacl
+      run: cargo build --target-dir sys/hacl --verbose