Skip to content

Fix taking into account workerids for combined workers #293

Fix taking into account workerids for combined workers

Fix taking into account workerids for combined workers #293

Triggered via push November 27, 2023 19:12
Status Success
Total duration 23m 12s
Artifacts 1

ci.yml

on: push
Build with reprotest
16m 9s
Build with reprotest
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
config.log Expired
206 KB