Merge develop into master (v1.29)#2432

Didayolo merged 15 commits into

mastercodalab/codabench:masterfrom

developcodalab/codabench:developCopy head branch name to clipboard