diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6e0d76f..21b97b5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,15 +18,11 @@ 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 sample tests - # run: cd samples/ && ./test_all.sh ION # - name: Run ION tests and measure time # run: cd std/ && ./test_all.sh ION + - name: Run HigherOrder sample tests + run: cd samples/ && ./test_all.sh HigherOrder |