Skip to content

Commit

Permalink
changes to make ruff happy
Browse files Browse the repository at this point in the history
  • Loading branch information
b9r5 committed Dec 21, 2024
1 parent 2702722 commit 1266c99
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@

# Rename a column in leaderboard.submission:
step("""
ALTER TABLE leaderboard.submission
ALTER TABLE leaderboard.submission
RENAME COLUMN problem_id
TO leaderboard_id
"""),
Expand All @@ -42,4 +42,4 @@
CREATE INDEX submission_leaderboard_id_idx
ON leaderboard.submission (leaderboard_id)
""")
]
]

0 comments on commit 1266c99

Please sign in to comment.