Skip to content

Fail CI if the DB dump is dirty#56

Merged
michaelblyons merged 8 commits into
SublimeText:masterfrom
michaelblyons:ci/fail-dirty-dump
Jun 11, 2026
Merged

Fail CI if the DB dump is dirty#56
michaelblyons merged 8 commits into
SublimeText:masterfrom
michaelblyons:ci/fail-dirty-dump

Conversation

@michaelblyons

Copy link
Copy Markdown
Collaborator

See #52

@michaelblyons

Copy link
Copy Markdown
Collaborator Author

Hooray, it fails when it's supposed to!

@michaelblyons michaelblyons merged commit ec33a38 into SublimeText:master Jun 11, 2026
1 check passed
@michaelblyons michaelblyons deleted the ci/fail-dirty-dump branch June 11, 2026 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant