# HG changeset patch
# User wenzelm
# Date 1739117856 -3600
# Node ID 5888f0bec9718859a47c31da538bdef59c3f38b7
# Parent  d2d8d00543b7ec12165647742b29697986166ead
less ambitious test, thanks to 1126ee407227;

diff -r d2d8d00543b7 -r 5888f0bec971 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Feb 09 17:04:14 2025 +0100
+++ b/Admin/Release/CHECKLIST	Sun Feb 09 17:17:36 2025 +0100
@@ -10,7 +10,7 @@
 
 - Admin/components/bundled: update naproche;
 
-- test "isabelle find_facts_index FOL && isabelle find_facts_server" on all platforms;
+- test "isabelle find_facts_index FOL && isabelle find_facts_server";
 
 - test "isabelle dump -b Pure ZF";