Status

Changes

Console Output

Timings

Git Build Data

Pipeline Overview

Pipeline Steps

Previous Build

Next Build

Changes

Started by timer

Started 5 mo 11 days ago

Queued 3 ms

Took 1 hr 5 min on built-in

update citations

doc/bibliography/pl.bib

pabuhr at 8:48 AM 2/6/26