diff options
| author | Marvin Borner | 2024-04-09 20:06:04 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-04-09 20:06:04 +0200 |
| commit | 4a8db13503392c0198a0ac8444366b1429a40b01 (patch) | |
| tree | f02253eda08cfa51d7fd5419aa29705f3ddf457d /.github/workflows | |
| parent | 11b942c9ad3142b9661f213588fdb03b0405f08b (diff) | |
Only run sample tests on HigherOrder reducer
Otherwise it takes ages. Also, correct behavior of the reducer is
already implied by passing the std tests.
Diffstat (limited to '.github/workflows')
| -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 |