Merge branch 'progress_monitoring' into 'master'

ci: fix prod image build

See merge request !5
2 jobs for master
in 3 minutes and 26 seconds and was queued for 8 seconds