Add feature to restart piped via web console (launcher)#3708

Closed

Szarny wants to merge 10 commits intopipe-cd:feature/3534-restart-piped-masterfrom

Szarny:feature/3534-restart-piped-launcher

Commits on Jun 1, 2022

Update proto definition to add Piped restart feature
Tsubasa Umeuchi
committed
Add API implementation for piped restart feature
Tsubasa Umeuchi
committed
Update launcher for piped restart feature
Tsubasa Umeuchi
committed
Fix bug
Tsubasa Umeuchi
committed
Exec gen/code
Tsubasa Umeuchi
committed
Merge branch 'master' into feature/3534-restart-piped-grpc
Tsubasa Umeuchi
committed
Merge branch 'feature/3534-restart-piped-grpc' into feature/3534-restart-piped-api
Tsubasa Umeuchi
committed
Merge branch 'feature/3534-restart-piped-api' into feature/3534-restart-piped-launcher
Tsubasa Umeuchi
committed
lint: break line
Tsubasa Umeuchi
committed
Merge branch 'feature/3534-restart-piped-api' into feature/3534-restart-piped-launcher
Tsubasa Umeuchi
committed