object
Build_Status
Type Members
-
-
sealed
case class
Data_Entry(name: String, hosts: List[String], stretch: Double, sessions: List[Session]) extends Product with Serializable
-
sealed
case class
Entry(pull_date: Date, isabelle_version: String, afp_version: String, timing: Timing, ml_timing: Timing, maximum_heap: Long, average_heap: Long, stored_heap: Long, status: Build_Log.Session_Status.Value, errors: List[String]) extends Product with Serializable
-
sealed
case class
Image(name: String, width: Int, height: Int) extends Product with Serializable
-
sealed
case class
Profile(description: String, history: Int, sql: String) extends Product with Serializable
-