Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature: fewer warnings in IntelliJ IDEA;
authorwenzelm
Sun, 19 Nov 2023 12:52:14 +0100
changeset 78993 93abe74fe16f
parent 78992 bd250213c262
child 78994 07f135271c80
tuned signature: fewer warnings in IntelliJ IDEA;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 12:51:47 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 12:52:14 2023 +0100
@@ -492,7 +492,7 @@
       log(end_date, msg)
     }
 
-    val log_dir = Isabelle_System.make_directory(main_dir + Build_Log.log_subdir(start_date))
+    val log_dir: Path = Isabelle_System.make_directory(main_dir + Build_Log.log_subdir(start_date))
 
     log(start_date, "started")
   }
isabelle