Skip to content

Rename "benchmark" to "worker" #956

Rename "benchmark" to "worker"

Rename "benchmark" to "worker" #956

Triggered via pull request August 29, 2025 10:49
Status Success
Total duration 1m 0s
Artifacts

build.yaml

on: pull_request
Auto-merge dependency PRs
0s
Auto-merge dependency PRs
Fit to window
Zoom out
Zoom in