Commit 7ed88b53 authored by Kaspar Vollenweider's avatar Kaspar Vollenweider

Merge branch 'deploy_develop_to_production' into 'main'

Deploy develop to production

See merge request !1078
parents ad8cb308 ebd24496
Pipeline #89640 passed with stages
in 20 minutes and 24 seconds