Skip to content

fail pr action if git is in ditry state#400

Merged
nabuskey merged 1 commit intomainfrom
pr-git-dirty
Oct 9, 2024
Merged

fail pr action if git is in ditry state#400
nabuskey merged 1 commit intomainfrom
pr-git-dirty

Conversation

@nabuskey
Copy link
Copy Markdown
Collaborator

@nabuskey nabuskey commented Oct 9, 2024

We need the PR build to fail if git is in dirty state to ensure generated files are actually generated, not written manually.

fixes: #372

Signed-off-by: Manabu McCloskey <manabu.mccloskey@gmail.com>
@nabuskey nabuskey merged commit 7a9bf83 into main Oct 9, 2024
@nabuskey nabuskey deleted the pr-git-dirty branch October 9, 2024 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug]: PR build needs to fail if git is in dirty state

2 participants