Skip to content

scrub: skip flake checks for conflicted commits#21

Merged
nothingmuch merged 1 commit into
mainfrom
scrub-skip-conflicts
May 27, 2026
Merged

scrub: skip flake checks for conflicted commits#21
nothingmuch merged 1 commit into
mainfrom
scrub-skip-conflicts

Conversation

@nothingmuch
Copy link
Copy Markdown
Collaborator

Conflicted commits show "skipped: conflict" instead of building.

Commits with jj conflict trees or git conflict markers will always fail nix flake check. The conflict check already runs first — now build a skip map from its results and filter conflicted commits out of flake check phases (sequential, parallel, and quick pre-check).

Conflicted commits show "skipped: conflict" instead of building.

Commits with jj conflict trees or git conflict markers will always
fail nix flake check. The conflict check already runs first — now
build a skip map from its results and filter conflicted commits out
of flake check phases (sequential, parallel, and quick pre-check).
@nothingmuch nothingmuch marked this pull request as ready for review May 26, 2026 21:13
Copy link
Copy Markdown

@bc1cindy bc1cindy left a comment

Choose a reason for hiding this comment

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

makes sense, utACK

conflicts still fail via conflict_failed, so skip is safe

Copy link
Copy Markdown
Collaborator

@arminsabouri arminsabouri left a comment

Choose a reason for hiding this comment

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

utACK

@nothingmuch nothingmuch merged commit a47e617 into main May 27, 2026
3 checks passed
@nothingmuch nothingmuch deleted the scrub-skip-conflicts branch May 27, 2026 17:42
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