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 12, 2024
@Xmader Xmader force-pushed the chore/upgrade-spidermonkey-to-2d25134 branch from df2bd0e to 805ecbb Compare August 18, 2024 07:00
Xmader
Xmader previously approved these changes Aug 18, 2024
@github-actions github-actions bot dismissed Xmader’s stale review August 19, 2024 15:46

The merge-base changed after approval.

@Xmader Xmader merged commit d43c1b9 into main Aug 19, 2024
21 checks passed
@Xmader Xmader deleted the chore/upgrade-spidermonkey-to-2d25134 branch August 19, 2024 15:48
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