Skip to content

Add pid and worker_index to the worker's log records - #71

Merged
tokibito merged 2 commits into
mainfrom
join-worker-logs
Oct 9, 2026
Merged

Add pid and worker_index to the worker's log records#71
tokibito merged 2 commits into
mainfrom
join-worker-logs

Read the worker index once and accept only a whole number of 1 or more

98909da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar