Update project's best execution in a contest when execution is finished#1162
Merged
petertrr merged 7 commits intomasterfrom feature/best-score#1115Sep 5, 2022
+163-37
Commits
Commits on Sep 5, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- authored
