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

Fix everything (everything was broken) #15

Merged
merged 10 commits into from
Dec 16, 2023
Merged

Fix everything (everything was broken) #15

merged 10 commits into from
Dec 16, 2023

Conversation

b0ri5
Copy link
Owner

@b0ri5 b0ri5 commented Dec 16, 2023

This is a patch of #14 with modifications on top to have tests passing again.

Copy link
Owner Author

@b0ri5 b0ri5 left a comment

Choose a reason for hiding this comment

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

LGTM. Can I approve my own code?

@b0ri5 b0ri5 merged commit 0166f5f into main Dec 16, 2023
5 checks passed
@b0ri5 b0ri5 deleted the new_everything branch December 16, 2023 07:03
b0ri5 added a commit to b0ri5/solvents that referenced this pull request Jan 2, 2024
This is simlar to b0ri5/oeis#15 but does a bunch more.

Most of the changes are adopting `MODULE.bazel` and using aspect-dev rules.
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.

None yet

1 participant