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

ci: Regenerate and verify the address space files #348

Merged
merged 1 commit into from
Jul 23, 2024

Conversation

AiyionPrime
Copy link
Contributor

in order to enforce congruence between it and the source nodeset.

Furthermore drop the generated file from rustfmt ignore
as it's apparently currently formatted.

@AiyionPrime
Copy link
Contributor Author

AiyionPrime commented Jul 23, 2024

@locka99 I'll rebase this and the other CI PRs one at a time, if that's fine, in ascending order.
So this as next and the others after merging this and so on.

in order to enforce congruence between it and the source nodeset.

Furthermore drop the generated file from rustfmt ignore
as it's apparently currently formatted.
@AiyionPrime
Copy link
Contributor Author

@locka99 CI passed.

@locka99
Copy link
Owner

locka99 commented Jul 23, 2024

Thanks a mil for the pulls, I'm basically clearing them out in reverse date but sometimes it causes conflicts and I could attempt to resolve but github's command line docs are aimed at the pr submitter not me and they don't go verifiably well if I try them myself.

@locka99 locka99 merged commit 5e8b661 into locka99:master Jul 23, 2024
9 of 10 checks passed
@AiyionPrime
Copy link
Contributor Author

I'm the thankful one. Seeing the PRs getting merged is pretty rewarding.
Anyways, I'll rebase the next.

@AiyionPrime AiyionPrime deleted the ci/gen_address_space branch July 23, 2024 18:16
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.

2 participants