diff -r cf6947717650 -r b3f8aad678e9 src/HOL/Tools/Mirabelle/mirabelle.scala
--- a/src/HOL/Tools/Mirabelle/mirabelle.scala	Mon Feb 20 21:53:15 2023 +0100
+++ b/src/HOL/Tools/Mirabelle/mirabelle.scala	Tue Feb 21 10:43:30 2023 +0100
@@ -215,7 +215,7 @@
             progress = progress,
             dirs = dirs,
             select_dirs = select_dirs,
-            numa_shuffling = NUMA.enabled_warning(progress, numa_shuffling),
+            numa_shuffling = NUMA.check(progress, numa_shuffling),
             max_jobs = max_jobs,
             verbose = verbose)
         }