diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f48cd1c..6e0d76f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,9 +18,15 @@ jobs: run: sudo apt-get install hyperfine - name: Install bruijn run: stack install + - name: Run HigherOrder sample tests + run: cd samples/ && ./test_all.sh HigherOrder - name: Run HigherOrder tests and measure time run: cd std/ && ./test_all.sh HigherOrder + - name: Run RKNL sample tests + run: cd samples/ && ./test_all.sh RKNL - name: Run RKNL tests and measure time run: cd std/ && ./test_all.sh RKNL - - name: Run ION tests and measure time - run: cd std/ && ./test_all.sh ION + # - name: Run ION sample tests + # run: cd samples/ && ./test_all.sh ION + # - name: Run ION tests and measure time + # run: cd std/ && ./test_all.sh ION |