Skip to content

Comments

Update and bump all the deps#188

Merged
asgrim merged 1 commit intophp:mainfrom
asgrim:group-dep-update
Feb 5, 2025
Merged

Update and bump all the deps#188
asgrim merged 1 commit intophp:mainfrom
asgrim:group-dep-update

Conversation

@asgrim
Copy link
Contributor

@asgrim asgrim commented Feb 5, 2025

No description provided.

@asgrim asgrim added the dependencies Pull requests that update a dependency file label Feb 5, 2025
@asgrim asgrim added this to the 0.7.0 milestone Feb 5, 2025
@asgrim asgrim self-assigned this Feb 5, 2025
@asgrim asgrim added the php Pull requests that update Php code label Feb 5, 2025
@asgrim asgrim enabled auto-merge February 5, 2025 08:39
@asgrim asgrim merged commit 420ed31 into php:main Feb 5, 2025
19 checks passed
@asgrim asgrim deleted the group-dep-update branch March 31, 2025 10:25
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 php Pull requests that update Php code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant