Merge branch 'master' into '53-manual-ci-job-to-run-all-benchmarks'

# Conflicts:
#   .gitlab-ci.yml
1 job for !35 with 53-manual-ci-job-to-run-all-benchmarks in 1 minute and 13 seconds (queued for 7 seconds)
latest merge request