Merge branch 'dev/ui' into 'main'

Dev/ui

See merge request !246
6 jobs for main in 11 minutes and 35 seconds (queued for 1 second)
Status Job ID Name Coverage
  Install
passed #92300
linux
npm_ci

00:02:37

 
  Rs Check Lint
passed #92301
linux
rs_check_lint

00:02:46

 
  Wasm
passed #92302
linux
wasm_build

00:03:50

 
  Ts Check Lint
passed #92303
linux
ts_check_lint

00:01:35

 
  Build
passed #92304
linux
npm_build

00:00:37

 
  Deploy
passed #92305
linux
deploy

00:00:08