Skip to content

Comments

chore(deps): bump versions#395

Merged
henryiii merged 1 commit intomainfrom
create-pull-request/patch
Apr 3, 2024
Merged

chore(deps): bump versions#395
henryiii merged 1 commit intomainfrom
create-pull-request/patch

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Apr 1, 2024

Update the versions mentioned in the docs pages.

PR generated by "Update dependencies" workflow. Close and reopen to trigger ci.

@henryiii henryiii closed this Apr 1, 2024
@henryiii henryiii reopened this Apr 1, 2024
@henryiii
Copy link
Collaborator

henryiii commented Apr 1, 2024

Opened #2755 to ask about the flakey issue we are seeing.

@henryiii henryiii force-pushed the create-pull-request/patch branch from d8552ef to e852304 Compare April 3, 2024 19:41
@henryiii henryiii merged commit d36b059 into main Apr 3, 2024
@henryiii henryiii deleted the create-pull-request/patch branch April 3, 2024 19:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant