Skip to content

Brancher: ping host before logbook poll#189

Merged
tdgroot merged 1 commit into
masterfrom
ping_brancher_before_logbook
Jan 20, 2026
Merged

Brancher: ping host before logbook poll#189
tdgroot merged 1 commit into
masterfrom
ping_brancher_before_logbook

Brancher: ping host before logbook poll

d07dd8d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 notices

The logs for this run have expired and are no longer available.