changeset 75968 | 5a782ca6872b |
parent 75394 | 42267c650205 |
child 77117 | 9a22256b0a27 |
--- a/src/Pure/Admin/build_status.scala Thu Aug 25 15:30:21 2022 +0200 +++ b/src/Pure/Admin/build_status.scala Thu Aug 25 15:52:42 2022 +0200 @@ -36,7 +36,7 @@ options: Options, columns: List[SQL.Column], only_sessions: Set[String] - ): SQL.Source = { + ): PostgreSQL.Source = { Build_Log.Data.universal_table.select(columns, distinct = true, sql = "WHERE " + Build_Log.Data.pull_date(afp) + " > " + Build_Log.Data.recent_time(days(options)) +