Skip to content

Rename Leader to Operator #584

Rename Leader to Operator

Rename Leader to Operator #584

Triggered via pull request February 19, 2025 13:03
Status Success
Total duration 2m 50s
Artifacts
pull-request-check
3s
pull-request-check
Trigger build and deploy image
2m 30s
Trigger build and deploy image
Fit to window
Zoom out
Zoom in