Skip to content

Conversation

FrNecas
Copy link
Contributor

@FrNecas FrNecas commented Aug 23, 2021

The action would fail after a pull request is merged into master due to the git fetch command which refuses to fetch the current branch.

Copy link
Collaborator

@viktormalik viktormalik left a comment

Choose a reason for hiding this comment

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

Since the linter is run only for files that diff from master, it'd never report anything for master.

I'd suggest excluding master here rather than creating a new branch.

@viktormalik
Copy link
Collaborator

Or, alternatively, run the job for pull requests only.

@FrNecas
Copy link
Contributor Author

FrNecas commented Aug 23, 2021

I think running for push makes sense - you can easily see the style errors before opening a pull request. Lets ignore only pushes to master

Signed-off-by: František Nečas <[email protected]>
@FrNecas
Copy link
Contributor Author

FrNecas commented Aug 23, 2021

Should be excluded now, tested on my fork (https://github.com/FrNecas/2ls)

@peterschrammel peterschrammel merged commit 6b08f54 into diffblue:master Aug 23, 2021
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.

3 participants