Skip to content

Merge develop into master

Placeholder Adrien Pavão requested to merge develop into master

Changes

  • #1304
  • #1353
  • #1375
  • #1376 (speed up loading of public benchmarks list)

Test

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

Merge request reports