Merge develop into master (!1119) · Merge requests · Codalab / codabench · GitLab

Placeholder Adrien Pavão requested to merge develop into master Aug 24, 2023

Test

To be deployed on https://codabench-test.lri.fr/

Changes

#1116
#1111
#1072
#1110
#1120
#1122