Skip to content

Rename worker_id to pool_id #57

Rename worker_id to pool_id

Rename worker_id to pool_id #57

Triggered via pull request March 18, 2025 00:34
Status Success
Total duration 17s
Artifacts

lint-test.yaml

on: pull_request
lint-test
11s
lint-test
Fit to window
Zoom out
Zoom in