Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Jul 18, 2023
@github-actions github-actions bot enabled auto-merge (squash) July 18, 2023 03:05
@A5rocks
Copy link
Contributor

A5rocks commented Jul 18, 2023

Bumping after #2668 merged.

@A5rocks A5rocks closed this Jul 18, 2023
auto-merge was automatically disabled July 18, 2023 03:05

Pull request was closed

@A5rocks A5rocks reopened this Jul 18, 2023
@A5rocks A5rocks enabled auto-merge (squash) July 18, 2023 03:05
@A5rocks A5rocks closed this Jul 18, 2023
auto-merge was automatically disabled July 18, 2023 03:06

Pull request was closed

@A5rocks A5rocks reopened this Jul 18, 2023
@A5rocks
Copy link
Contributor

A5rocks commented Jul 18, 2023

Geh, I think I killed RTD: https://readthedocs.org/projects/trio/builds/21329341/

I'll close this and open a new PR (and be more mindful of waiting before closing/reopening)

@A5rocks A5rocks closed this Jul 18, 2023
@A5rocks A5rocks deleted the autodeps/bump_from_bf9fe6 branch July 18, 2023 03:07
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