Skip to content

Merge develop into master (/!\ Poetry /!\)

Placeholder Adrien Pavão requested to merge develop into master

Test

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

Changes

  • #1488
  • #1416
  • #1497
  • #1503

Minor UI changes

  • #1486
  • #1499
  • #1502

Manual intervention

See #1416 to rebuild dockers.

Would it be sufficient to perform the following update?

docker compose down
docker system prune -af
docker compose up -d
#collect static

Merge request reports

Loading