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.

Sign up for GitHub

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

Jump to bottom

Bump to v4 of checkout #3152

Merged

tishun merged 1 commit into redis:main from tishun:topic/tishun/publishdocs

Feb 3, 2025

Collaborator

tishun commented Feb 3, 2025

Make sure that:

You have read the contribution guidelines.
You have created a feature request first to discuss your contribution intent. Please reference the feature request ticket number in the pull request.
You applied code formatting rules using the mvn formatter:format target. Don’t submit any formatting related changes.
You submit test cases (unit or integration tests) that back your changes.


          Bump to v4 of checkout

43cff26

tishun merged commit 09ee7a8 into redis:main

8 checks passed

tishun deleted the topic/tishun/publishdocs branch

February 3, 2025 11:42

tishun restored the topic/tishun/publishdocs branch

February 3, 2025 11:46

danicheg mentioned this pull request

Fix the docs workflow #3153

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet