sledtools/pika branch #147

pika-build-deploy-fix

Remove deleted ci tree from pikaci source set

branch: merged target: master

Updated 2026-03-27 14:30:54

Head 0fc07f97e98120b126d9e49cfadcc3f14fb55ca7

Merge Base f3850e55bccb64c7463212468938ba1b3760b8cb

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 #183 success

head 0fc07f97e98120b126d9e49cfadcc3f14fb55ca7 · queued 2026-03-27 14:25:08 · 0 lane(s)

queued 5m 21s

finished 2026-03-27 14:30:29

No lanes were selected for this branch head.