Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Check alembic branch divergence in CI #1773

Merged
merged 3 commits into from
Aug 31, 2023
Merged

Check alembic branch divergence in CI #1773

merged 3 commits into from
Aug 31, 2023

Conversation

strickvl
Copy link
Contributor

Added tiny check to CI to ensure that we don't have branch divergence.

Pre-requisites

Please ensure you have done the following:

  • I have read the CONTRIBUTING.md document.
  • If my change requires a change to docs, I have updated the documentation accordingly.
  • If I have added an integration, I have updated the integrations table and the corresponding website section.
  • I have added tests to cover my changes.

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Other (add details above)

@strickvl strickvl added enhancement New feature or request internal To filter out internal PRs and issues labels Aug 31, 2023
@strickvl
Copy link
Contributor Author

strickvl commented Aug 31, 2023 •
edited
Loading

Linting will no longer fail because branch divergence fixed by #1772.

@strickvl strickvl merged commit 38d4b76 into develop Aug 31, 2023
54 of 63 checks passed
@strickvl strickvl deleted the feature/alembic-branches-check branch August 31, 2023 12:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@schustmi schustmi schustmi approved these changes

@AlexejPenner AlexejPenner Awaiting requested review from AlexejPenner

Assignees
No one assigned
Labels
enhancement New feature or request internal To filter out internal PRs and issues
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@strickvl @schustmi