diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index c7258c37f5..8b6ef6c97d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -44,6 +44,7 @@ jobs:
         os:
           - ubuntu-latest
           - macos-latest
+        which_tests: [quick,all]
         include:
           - os: ubuntu-latest
             release_suffix: linux
@@ -73,6 +74,10 @@ jobs:
           version: ${{ matrix.conjure_version }}
 
       - run: cargo test --workspace
+        if: matrix.which_tests == 'quick'
+
+      - run: cargo test --workspace -- --include-ignored
+        if: matrix.which_tests == 'all'
 
   examples:
     name: "Examples"
diff --git a/conjure_oxide/tests/rewrite_tests.rs b/conjure_oxide/tests/rewrite_tests.rs
index f927241b5e..7d85f0c1da 100644
--- a/conjure_oxide/tests/rewrite_tests.rs
+++ b/conjure_oxide/tests/rewrite_tests.rs
@@ -690,6 +690,7 @@ fn rewrite_solve_xyz() {
     solver.solve(Box::new(|_| true)).unwrap();
 }
 
+
 struct RuleResult<'a> {
     #[allow(dead_code)]
     rule: &'a Rule<'a>,