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

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

Deployed on the test server

Deployed on https://codabench-test.lri.fr/

Changes

#1069
#1077
#1085
#1079