# HG changeset patch
# User paulson
# Date 1688735105 -3600
# Node ID 45381e6bd3adffeca8095125d0d2d048212d7c62
# Parent  9d5e2a08ba1b203bef14b88ff5dd5353dd785111# Parent  71366be2c647a43e5e2ba0e207dedb032e7444f0
merged

diff -r 71366be2c647 -r 45381e6bd3ad src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Jul 06 16:59:12 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 07 14:05:05 2023 +0100
@@ -317,8 +317,10 @@
             " -e ISABELLE_SMLNJ=sml" +
             " -e ISABELLE_SWIPL=swipl",
           args = "-a -d '~~/src/Benchmarks'")),
+/*
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
+*/
       List(Remote_Build("macOS 10.13 High Sierra", "lapbroy68",
         options = "-m32 -B -M1,2,4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
         args = "-a -d '~~/src/Benchmarks'")),