Skip to content

chore: add more unused precompile checks & new ci to avoid commited patches #198

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 4 commits into from
Oct 4, 2025
Merged

chore: add more unused precompile checks & new ci to avoid commited patches #198

merged 4 commits into from
Oct 4, 2025

Conversation

jsign
Copy link
Collaborator

@jsign jsign commented Oct 4, 2025 •
edited
Loading

This PR:

  • Adds more Reth guest programs checks of unused patches
  • Adds a new check to avoid accidentally committing patches to Github.

jsign added 3 commits October 3, 2025 21:32
@jsign
add more checks
d44cbd7 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
@jsign
ci: add more unused precompile checks
45d970c 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
@jsign
add check to avoid accidental commit of patches
3c088e5 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
@jsign jsign force-pushed the jsign-precompile-checks branch from b0c09e4 to 3c088e5 Compare October 4, 2025 00:58
@jsign jsign changed the title chore: add more unused precompile checks chore: add more unused precompile checks & new ci to avoid commited patches Oct 4, 2025
@jsign
add exception. issue #199
19d8e07 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
@jsign jsign force-pushed the jsign-precompile-checks branch from 913691c to 19d8e07 Compare October 4, 2025 13:42
@jsign jsign marked this pull request as ready for review October 4, 2025 15:22
@jsign jsign merged commit f9c19c2 into master Oct 4, 2025
71 of 157 checks passed
@jsign jsign deleted the jsign-precompile-checks branch October 4, 2025 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jsign