Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update redis to 6.0.2, add alternative license file searcher #539

Merged
merged 2 commits into from
Sep 9, 2024

Conversation

crazywhalecc
Copy link
Owner

@crazywhalecc crazywhalecc commented Sep 9, 2024

What does this PR do?

Update redis to 6.0.2, add alternative license file searcher, fixes #538

Checklist before merging

If your PR involves the changes mentioned below and completed the action, please tick the corresponding option.
If a modification is not involved, please skip it directly.

  • If it's an extension or dependency update, make sure adding related extensions in src/global/test-extensions.php.
  • If you changed the behavior of static-php-cli, update docs in ./docs/.
  • If you updated config/xxx.json content, run bin/spc dev:sort-config xxx.

@crazywhalecc crazywhalecc added the kind/extension Issues related to extensions label Sep 9, 2024
@crazywhalecc crazywhalecc merged commit ad098d0 into main Sep 9, 2024
21 checks passed
@crazywhalecc crazywhalecc deleted the ext/redis-6 branch September 9, 2024 09:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/extension Issues related to extensions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support PHPRedis 6.0
1 participant