Added HigherOrder to test CI

marvinborner · Feb 29, 2024 · d4c090b · d4c090b
1 parent d64bbff
commit d4c090b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,6 +18,8 @@ jobs:
         run: sudo apt-get install hyperfine
       - name: Install bruijn
         run: stack install
+      - name: Run HigherOrder tests and measure time
+        run: cd std/ && ./test_all.sh HigherOrder
       - name: Run RKNL tests and measure time
         run: cd std/ && ./test_all.sh RKNL
       - name: Run ION tests and measure time