2022-10-21 20:42:48 +08:00
|
|
|
RENAME TABLE assignments TO groups_assignments;
|
2022-10-22 06:48:04 +08:00
|
|
|
ALTER TABLE `groups_assignments` DROP COLUMN `id`;
|
|
|
|
ALTER TABLE `groups_assignments` ADD PRIMARY KEY (`group_id`, `list_id`);
|
2022-10-21 20:42:48 +08:00
|
|
|
ALTER TABLE `groups_assignments` DROP COLUMN `create_time`;
|
|
|
|
ALTER TABLE `groups_assignments` CHANGE COLUMN `deadline` `end_time` datetime NOT NULL;
|
|
|
|
ALTER TABLE `countdowns` CHANGE COLUMN `endtime` `end_time` datetime NOT NULL;
|
2022-10-22 08:16:39 +08:00
|
|
|
ALTER TABLE `submissions` ADD KEY `score` (`problem_id`, `submitter`, `score`);
|