deactivated old tests;
authorwenzelm
Sat Oct 28 16:43:26 2017 +0200 (19 months ago)
changeset 669314ff031d249b2
parent 66930 d4f7c6f14fa2
child 66932 149025fecca0
deactivated old tests;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 28 16:12:29 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 28 16:43:26 2017 +0200
     1.3 @@ -175,11 +175,25 @@
     1.4          args = "-N -g timing",
     1.5          detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7") + " AND " +
     1.6            Build_Log.Settings.ML_OPTIONS + " <> " + SQL.string("-H 500")),
     1.7 +      Remote_Build("Poly/ML 5.7.1 Linux", "lxbroy8",
     1.8 +        history_base = "a9d5b59c3e12",
     1.9 +        options = "-m32 -B -M1x2,2 -t polyml-5.7.1-pre2 -i 'init_component /home/isabelle/contrib/polyml-test-905dae2ebfda'",
    1.10 +        args = "-N -g timing",
    1.11 +        detect =
    1.12 +          Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre1") + " OR " +
    1.13 +          Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre2")),
    1.14        Remote_Build("Poly/ML 5.7 Mac OS X", "macbroy2",
    1.15          history_base = "37074e22e8be",
    1.16          options = "-m32 -B -M1x4,4 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",
    1.17          args = "-a",
    1.18          detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7")),
    1.19 +      Remote_Build("Poly/ML 5.7.1 Mac OS X", "macbroy2",
    1.20 +        history_base = "a9d5b59c3e12",
    1.21 +        options = "-m32 -B -M1x4,4 -t polyml-5.7.1-pre2 -i 'init_component /home/isabelle/contrib/polyml-test-905dae2ebfda'",
    1.22 +        args = "-a",
    1.23 +        detect =
    1.24 +        Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre1") + " OR " +
    1.25 +        Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre2")),
    1.26        Remote_Build("Poly/ML test", "lxbroy8",
    1.27          options = "-m32 -B -M1x2,2 -t polyml-test -i 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
    1.28          args = "-N -g timing",
    1.29 @@ -191,13 +205,6 @@
    1.30    val remote_builds1: List[List[Remote_Build]] =
    1.31    {
    1.32      List(
    1.33 -      List(Remote_Build("Poly/ML 5.7.1 Linux", "lxbroy8",
    1.34 -        history_base = "a9d5b59c3e12",
    1.35 -        options = "-m32 -B -M1x2,2 -t polyml-5.7.1-pre2 -i 'init_component /home/isabelle/contrib/polyml-test-905dae2ebfda'",
    1.36 -        args = "-N -g timing",
    1.37 -        detect =
    1.38 -          Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre1") + " OR " +
    1.39 -          Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre2"))),
    1.40        List(Remote_Build("Linux A", "lxbroy9",
    1.41          options = "-m32 -B -M1x2,2", args = "-N -g timing")),
    1.42        List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
    1.43 @@ -214,14 +221,7 @@
    1.44            detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")),
    1.45          Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2",
    1.46            options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
    1.47 -          detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs")),
    1.48 -        Remote_Build("Poly/ML 5.7.1 Mac OS X", "macbroy2",
    1.49 -          history_base = "a9d5b59c3e12",
    1.50 -          options = "-m32 -B -M1x4,4 -t polyml-5.7.1-pre2 -i 'init_component /home/isabelle/contrib/polyml-test-905dae2ebfda'",
    1.51 -          args = "-a",
    1.52 -          detect =
    1.53 -          Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre1") + " OR " +
    1.54 -          Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre2"))),
    1.55 +          detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"))),
    1.56        List(
    1.57          Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
    1.58            detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),