Merge dev into main after merging open merge requests into dev
Many new fixes have been added to merge so a push to the main seems advisable.
Dear CI users! Due issues with our instance runner cluster on Kubernetes, we can currently offer only 1 instance runner. For fairness, we have to limit the runtime of CI jobs to 10 minutes. If you need more, please set up your own runner.
Many new fixes have been added to merge so a push to the main seems advisable.