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.

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

chore: first cut of bot-modifiable files #4814

Merged
merged 1 commit into from
Dec 10, 2024
Merged

chore: first cut of bot-modifiable files #4814

merged 1 commit into from
Dec 10, 2024

Conversation

ggreif
Copy link
Contributor

@ggreif ggreif commented Dec 10, 2024

@github-actions GitHub Actions
Copy link

Comparing from ac26d8c to 2717e9b:
The produced WebAssembly code seems to be completely unchanged.

@ggreif ggreif added the automerge-squash When ready, merge (using squash) label Dec 10, 2024
@ggreif ggreif self-assigned this Dec 10, 2024
@mergify mergify bot merged commit 3d9cdf3 into master Dec 10, 2024
10 checks passed
@mergify mergify bot deleted the gabor/bots branch December 10, 2024 16:55
@mergify mergify bot removed the automerge-squash When ready, merge (using squash) label Dec 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Sebastian-code1 Sebastian-code1 Sebastian-code1 approved these changes

@luc-blaeser luc-blaeser Awaiting requested review from luc-blaeser

Assignees

@ggreif ggreif

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ggreif @Sebastian-code1