Skip to content

Rename operator#820

Merged
knopers8 merged 1 commit into
masterfrom
rename_operator
Jun 2, 2026
Merged

Rename operator#820
knopers8 merged 1 commit into
masterfrom
rename_operator

[operator] rename operator to control-operator

3908c16
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Basic Make Check (ubuntu-24.04, 1.24.2)
succeeded May 26, 2026 in 1m 35s