sledtools/pika branch #138

gitignore-result

gitignore: ignore nix build result symlink

branch: merged target: master

Updated 2026-03-27 01:11:23

Head bef8b1bb02d8d8bc0bac8146fded9db11e3e5fbb

Merge Base 35637538af0bf592b993d7b654c3ec663cf92ac7

Continuous Integration

CI: success

branch merged · tutorial ready

Use recovery controls only for wedged queues, stale leases, or broken runners.

Full lane, log, rerun, and recovery detail lives here.

Run #174 success

head bef8b1bb02d8d8bc0bac8146fded9db11e3e5fbb · queued 2026-03-27 01:10:04 · 0 lane(s)

queued 0s

finished 2026-03-27 01:10:04

No lanes were selected for this branch head.