--- a/src/Pure/Admin/isabelle_cronjob.scala Sun Feb 26 13:15:41 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Feb 26 13:50:07 2023 +0100
@@ -156,8 +156,8 @@
def sql: PostgreSQL.Source =
SQL.and(
- Build_Log.Prop.build_engine.toString + " = " + SQL.string(Build_History.engine),
- SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts),
+ Build_Log.Prop.build_engine.equal(Build_History.engine),
+ Build_Log.Prop.build_host.member(host :: more_hosts),
if_proper(detect, SQL.enclose(detect)))
def profile: Build_Status.Profile =