Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check-in generated code #219

Merged
merged 1 commit into from
Feb 18, 2025
Merged

Check-in generated code #219

merged 1 commit into from
Feb 18, 2025

Conversation

paholg
Copy link
Owner

@paholg paholg commented Feb 18, 2025

We've had many problems with paths on various Windows setups with
including generated files. Instead, we check it in, with a CI job to
ensure it hasn't changed.

We still generate the tests, as it's a lot of lines, and our users don't
need to run that part.

@paholg paholg force-pushed the check-in-generated branch 5 times, most recently from c1d68a1 to 4efedf2 Compare February 18, 2025 06:08
We've had many problems with paths on various Windows setups with
including generated files. Instead, we check it in, with a CI job to
ensure it hasn't changed.

We still generate the tests, as it's a lot of lines, and our users don't
need to run that part.
@paholg paholg force-pushed the check-in-generated branch from 4efedf2 to 8685dbb Compare February 18, 2025 06:10
@paholg paholg merged commit bab772b into main Feb 18, 2025
26 checks passed
@paholg
Copy link
Owner Author

paholg commented Feb 18, 2025

Closes #217

paholg added a commit that referenced this pull request Feb 18, 2025
We've had many problems with paths on various Windows setups with
including generated files. Instead, we check it in, with a CI job to
ensure it hasn't changed.

We still generate the tests, as it's a lot of lines, and our users don't
need to run that part.
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