Skip to content

Conversation

@ctrl-alt-d
Copy link
Collaborator

Why:

Currently, PRs can be merged without verifying that the project builds successfully. This could introduce breaking changes to main.

Changes:

Copy link
Collaborator

@francescarpi francescarpi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@francescarpi francescarpi merged commit 9eaefe7 into main Jan 15, 2026
1 check passed
@francescarpi francescarpi deleted the issue13 branch January 15, 2026 11:22
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.

Add CI workflow to validate PR builds

4 participants