morca · API · ui

`orca.ui.pipeline`

/pipelines/<name>, a pipeline's page: Overview (its cards: Progress, Steps, Code, Resources, Configuration), Runs and Operate (Start runs, cancel, pause), each a tab of its own; /progress, the Progress card as the fragment it refreshes from; and /keys/<key>, one key of a keyed pipeline in every run it was in.

Functions

`key_page`

def key_page(mut db: State, name: String, key: String) -> Page

One key of a keyed pipeline: its steps in every run it was in.

`pipeline_progress_here`

def pipeline_progress_here(name: String, tab: String) -> String

Where the Progress fragment's "Log in to ..." links come back to: the pipeline's page, on tab (as the poll URL gives it) if that is one of its tabs other than the overview.

`pipeline_progress`

def pipeline_progress(mut db: State, name: String) -> Page

The Progress card of a pipeline's page, as a fragment.

`pipeline_html`

def pipeline_html(mut db: State, v: PipelineView, ask: PipelineAsk) -> String

A pipeline's page, the tab ask names (overview, runs or operate): the Overview's cards and steps, the Runs tab's page of runs and versions, or Operate's coverage, Start runs and controls.