This adds all the core backend changes for 0.10, in particular drastically reworking map submissions and run submission. I've kept the frontend changes to a minimum, the leaderboards and map description stuff could be significantly improved. I'm going to jump over to frontend very soon.
Apologies for such a monster PR, since we have such strong types deriving from DB schema plus heavy testing, and 0.10 changes the schema so drastically, this was an enormous amount to work to get something that passes CI and can be merged into main.
This adds all the core backend changes for 0.10, in particular drastically reworking map submissions and run submission. I've kept the frontend changes to a minimum, the leaderboards and map description stuff could be significantly improved. I'm going to jump over to frontend very soon.
Apologies for such a monster PR, since we have such strong types deriving from DB schema plus heavy testing, and 0.10 changes the schema so drastically, this was an enormous amount to work to get something that passes CI and can be merged into main.
Closes #753 Closes #858