Want to also track if the score is a time record.

2023-03-29 21:46:17 -04:00
parent 4bb7a925e5
commit 226d7c77d7
1 changed files with 1 additions and 0 deletions
@@ -47,6 +47,7 @@ CREATE TABLE Scores(
 CREATE TABLE Submissions(
   CategoryId int unsigned not null,
   GroupId int unsigned not null,
+   IsTimeRecord boolean not null,
   Score float not null,
   SubmissionMessageId bigint unsigned not null,
   UserName varchar(30) not null,