diff --git a/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc b/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc
index 84dda8de3a4..7d75cd82796 100644
--- a/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc
+++ b/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc
@@ -1,4 +1,4 @@
-CORE
+THOROUGH
 Main
 --context-include Main.main --context-include 'Main.<clinit' --context-include org.cprover.MyClass --context-exclude 'org.cprover.MyClass$Inner.'
 ^EXIT=10$
@@ -12,3 +12,6 @@ WARNING: no body for function .*
 --
 Tests that only the specified methods and classes are included, while
 the inner class from MyClass is excluded.
+
+The test is marked "THOROUGH" as it requires more memory than may be available
+on some GitHub runners.
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_include.desc b/jbmc/regression/jbmc/context-include-exclude/test_include.desc
index e661bc1a607..970dd191969 100644
--- a/jbmc/regression/jbmc/context-include-exclude/test_include.desc
+++ b/jbmc/regression/jbmc/context-include-exclude/test_include.desc
@@ -1,4 +1,4 @@
-CORE
+THOROUGH
 Main
 --context-include Main.
 ^EXIT=10$
@@ -11,3 +11,6 @@ Main
 WARNING: no body for function .*
 --
 Tests that only methods from the specified class are included.
+
+The test is marked "THOROUGH" as it requires more memory than may be available
+on some GitHub runners.