Skip to content

Don't skip paths by default#274

Draft
miniBill wants to merge 1 commit intomainfrom
dont-skip-paths
Draft

Don't skip paths by default#274
miniBill wants to merge 1 commit intomainfrom
dont-skip-paths

Conversation

@miniBill
Copy link
Collaborator

Skipping ungenerable paths made sense when we had a lot of holes in our coverage, but I think it's time to switch to fail-by-default, while keeping the option to keep going on failed paths.

Eventually we probably want this option to go away, when we're confident we're covering most of the spec.

@miniBill
Copy link
Collaborator Author

This will need #275 before CI passes, we can wait on merging until it's green

@miniBill miniBill marked this pull request as draft February 13, 2026 15:15
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.

1 participant