morca · API · ui

orca.ui.attempt

/runs/<id>/attempts/<attempt>, an attempt's page: its log, with its error, and its facts, which refresh from /facts while it runs.

Functions

read_log

def read_log(path: String) -> Tuple[String, Bool]

The log's text, its last MiB if it's longer, and whether it was cut; empty if it can't be read.

attempt_facts

def attempt_facts(mut db: State, run: Int, id: Int) -> Page

An attempt's error and facts, as a fragment; 286 once it's ended.

attempt

def attempt(mut db: State, run: Int, id: Int) -> Page

attempt_log

def attempt_log(mut db: State, run: Int, id: Int) -> Page

An attempt's log, as a fragment; 286 once the attempt has ended.