From baa3d287d344adc65626dcc33b4b12b5cfd84415 Mon Sep 17 00:00:00 2001 From: James Raspass Date: Thu, 1 Jul 2021 02:09:14 +0100 Subject: [PATCH] nit --- db/a-schema.sql | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/db/a-schema.sql b/db/a-schema.sql index 3914b1975..6428236d1 100644 --- a/db/a-schema.sql +++ b/db/a-schema.sql @@ -1,5 +1,16 @@ CREATE EXTENSION citext; +CREATE TYPE cheevo AS ENUM ( + 'assembly-required', 'bakers-dozen', 'bullseye', 'caffeinated', 'cobowl', + 'different-strokes', 'dont-panic', 'elephpant-in-the-room', + 'fish-n-chips', 'forty-winks', 'happy-birthday-code-golf', 'hello-world', + 'inception', 'independence-day', 'interview-ready', 'its-over-9000', + 'may-the-4ᵗʰ-be-with-you', 'my-god-its-full-of-stars', 'ouroboros', + 'patches-welcome', 'pi-day', 'polyglot', 'rtfm', 'slowcoach', + 'solve-quine', 'the-watering-hole', 'tim-toady', 'tl-dr', 'twelvetide', + 'up-to-eleven', 'vampire-byte' +); + CREATE TYPE hole AS ENUM ( '12-days-of-christmas', '99-bottles-of-beer', 'abundant-numbers', 'arabic-to-roman', 'brainfuck', 'christmas-trees', 'css-colors', 'cubes', @@ -32,17 +43,6 @@ CREATE TYPE scoring AS ENUM ('bytes', 'chars'); CREATE TYPE theme AS ENUM ('auto', 'dark', 'light'); -CREATE TYPE cheevo AS ENUM ( - 'assembly-required', 'bakers-dozen', 'bullseye', 'caffeinated', 'cobowl', - 'different-strokes', 'dont-panic', 'elephpant-in-the-room', - 'fish-n-chips', 'forty-winks', 'happy-birthday-code-golf', 'hello-world', - 'inception', 'independence-day', 'interview-ready', 'its-over-9000', - 'may-the-4ᵗʰ-be-with-you', 'my-god-its-full-of-stars', 'ouroboros', - 'patches-welcome', 'pi-day', 'polyglot', 'rtfm', 'slowcoach', - 'solve-quine', 'the-watering-hole', 'tim-toady', 'tl-dr', 'twelvetide', - 'up-to-eleven', 'vampire-byte' -); - CREATE TABLE discord_records ( hole hole NOT NULL, lang lang NOT NULL,