From 4a8db13503392c0198a0ac8444366b1429a40b01 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 9 Apr 2024 20:06:04 +0200
Subject: 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.
---
 .github/workflows/ci.yml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to '.github/workflows/ci.yml')

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
-- 
cgit v1.2.3