Merge develop into master
Test
Deployed at https://codabench-test.lri.fr/
Manual update
After merging #1154, it is a good practice to add this line in the .env:
MAX_EXECUTION_TIME_LIMIT=600 # time limit for the default queue (in seconds)Manual test
#1341 particularly needs to be tested on the test server.
Under test here: https://codabench-test.lri.fr/competitions/143
Changes
- #1309
- #1351
- #1404
- #1403
- #1374
- #1372
- #1370
- #1154
- #1341
- #1352