# HG changeset patch
# User wenzelm
# Date 1696880486 -7200
# Node ID a11c461a1a3ac0afa4cb56fc14cdc41b07599c9c
# Parent  6fad611cb3c48fc8ab2116df932b85387e31dda0
mini2 is not active due to upgrade;

diff -r 6fad611cb3c4 -r a11c461a1a3a src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Oct 09 21:31:43 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Oct 09 21:41:26 2023 +0200
@@ -339,14 +339,17 @@
             " -e ISABELLE_MLTON=/usr/local/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
-          args = "-a -d '~~/src/Benchmarks'"),
+          args = "-a -d '~~/src/Benchmarks'",
+          active = () => false),
         Remote_Build("macOS, quick_and_dirty", "mini2",
           options = "-m32 -M4 -t quick_and_dirty -p pide_session=false",
           args = "-a -o quick_and_dirty",
-          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("quick_and_dirty")),
+          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("quick_and_dirty"),
+          active = () => false),
         Remote_Build("macOS, skip_proofs", "mini2",
           options = "-m32 -M4 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs",
-          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))),
+          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"),
+          active = () => false)),
       List(
         Remote_Build("macOS 13 Ventura (ARM64)", "mini3",
           history_base = "8e590adaac5e",