Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Aug 19, 2024
@Xmader Xmader merged commit e49eed2 into main Aug 19, 2024
10 of 11 checks passed
@Xmader Xmader deleted the chore/upgrade-spidermonkey-to-8a28ad5 branch August 19, 2024 20:09
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.

2 participants