Skip to content

Conversation

@gagik
Copy link
Contributor

@gagik gagik commented Jan 31, 2025

No description provided.

@gagik gagik force-pushed the remove-compilation-bump branch from ac4816e to f1d147e Compare January 31, 2025 16:17
@gagik gagik added the no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) label Jan 31, 2025
@addaleax addaleax merged commit 6be1b90 into main Jan 31, 2025
15 of 17 checks passed
@addaleax addaleax deleted the remove-compilation-bump branch January 31, 2025 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants