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

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