Skip to content

Conversation

@github-actions
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Feb 11, 2025
@github-actions github-actions bot enabled auto-merge February 11, 2025 23:26
@A5rocks
Copy link
Contributor

A5rocks commented Feb 11, 2025

I made this because I forgot to bump deps in #3204 and #3201 did the hard part of this (bumping mypy).

@A5rocks A5rocks closed this Feb 11, 2025
auto-merge was automatically disabled February 11, 2025 23:27

Pull request was closed

@A5rocks A5rocks reopened this Feb 11, 2025
@A5rocks A5rocks enabled auto-merge February 11, 2025 23:28
@A5rocks A5rocks disabled auto-merge February 11, 2025 23:30
@A5rocks A5rocks enabled auto-merge February 12, 2025 08:42
@A5rocks A5rocks added this pull request to the merge queue Feb 12, 2025
Merged via the queue into main with commit 09daf03 Feb 12, 2025
39 checks passed
@A5rocks A5rocks deleted the autodeps/bump_from_ad9462 branch February 12, 2025 08:58
@jakkdl jakkdl mentioned this pull request Feb 24, 2025
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.

3 participants