-
Notifications
You must be signed in to change notification settings - Fork 0
lint duplicate migration numbers before merge and in main
#215
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
Looks like this is possible with a merge queue - do we know if there's another way to prevent a PR from merging if a CI job fails during the merge? I assume there are existing reasons we don't use a merge queue. |
Sounds like a cool idea; I'm not sure why we don't use merge queues yet. In any case, we could probably start with just a CI check that runs on merge to |
Oh, I only mentioned merge queues because duplicate migration numbers already fail a bunch of |
Is that a run from |
OK sweet, so at least we have that. I suspect that whoever merged the PR didn't have CI failure notifications from GitHub enabled. We should probably route a Slack notification to |
Exhibit A: coder/coder#15530
coder/coder#15448 was merged after coder/coder#15502, and both contained the same migration number. This passed all checks, and when we auto-deployed
main
to our dogfood environment we encountered a fatal error on startup:The text was updated successfully, but these errors were encountered: