Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 77131 c8d34e74a12b
parent 77128 f40c36ab154d
child 77132 53ce5a39c987 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Jan 28 21:29:28 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Jan 28 21:32:33 2023 +0100
@@ -405,7 +405,7 @@
               isabelle_repos,
               isabelle_repos.ext(r.host),
               isabelle_identifier = "cronjob_build_history",
-              clean_platforms = r.clean_components,
+              clean_platform = r.clean_components,
               clean_archives = r.clean_components,
               rev = rev,
               afp_repos = if (afp_rev.isDefined) Some(afp_repos) else None,
isabelle