Add feature to restart piped via web console (web console UI)#3709

Closed

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

Szarny:feature/3534-restart-piped-web

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
Add web console elements for piped restart feature
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
Merge branch 'feature/3534-restart-piped-launcher' into feature/3534-restart-piped-web
Tsubasa Umeuchi
committed
lint break line
Tsubasa Umeuchi
committed