Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jan 6, 2025

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Jan 6, 2025
@Xmader Xmader merged commit 65d5ee5 into main Jan 9, 2025
40 checks passed
@Xmader Xmader deleted the chore/upgrade-spidermonkey-to-dd8b148 branch January 9, 2025 10:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant