Commit bfeee3f7 authored by Chunchi Che's avatar Chunchi Che

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

change default agent server

See merge request !395
parents 20d8cf15 998d15cd
Pipeline #28503 passed with stages
in 10 minutes and 48 seconds