From 4a9fb8896e0c1b3d6d11fa1096fb1ee72195cb02 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 10 Oct 2024 16:31:39 +0200 Subject: [PATCH] use serial key for cert games --- src/hanabi/database/games_seeds_schema.sql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/hanabi/database/games_seeds_schema.sql b/src/hanabi/database/games_seeds_schema.sql index cfd3671..2089904 100644 --- a/src/hanabi/database/games_seeds_schema.sql +++ b/src/hanabi/database/games_seeds_schema.sql @@ -73,7 +73,7 @@ CREATE INDEX games_player_idx ON games (num_players); /* Example games finishing with max score, not necessarily played by humans. */ DROP TABLE IF EXISTS certificate_games; CREATE TABLE certificate_games ( - id INT PRIMARY KEY, + id SERIAL PRIMARY KEY, seed TEXT NOT NULL REFERENCES seeds, num_turns SMALLINT NOT NULL, min_pace SMALLINT,