Merge branch 'change-agent-server' into 'main'

change default agent server

See merge request !395
6 jobs for main in 10 minutes and 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Install
passed #129410
linux
npm_ci

00:00:54

 
  Rs Check Lint
passed #129411
linux
rs_check_lint

00:03:34

 
  Wasm
passed #129412
linux
wasm_build

00:04:24

 
  Ts Check Lint
passed #129413
linux
ts_check_lint

00:00:59

 
  Build
passed #129414
linux
npm_build

00:00:48

 
  Deploy
passed #129415
linux
deploy

00:00:08