Update docker documentation

3 jobs for update-docker-doc in 12 minutes and 1 second (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Lint
passed #10667
lint

00:02:21

 
  Test Backend
passed #10668
test_backend

00:06:22

 
  Test Frontend
passed #10669
test_frontend_unit

00:03:17