镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

[stable25] Save some CI time - #37225

Merged
nickvergessen merged 1 commit into
stable25from
backport/37221/stable25
Mar 15, 2023
Merged

nickvergessen merged 1 commit into
stable25from
backport/37221/stable25

Conversation

@nickvergessen

Copy link
Copy Markdown
Member

Backport #37221

Signed-off-by: Joas Schilling <coding@schilljs.com>
@nickvergessen nickvergessen added the 3. to review Waiting for reviews label Mar 15, 2023
@nickvergessen nickvergessen self-assigned this Mar 15, 2023
@nickvergessen
nickvergessen merged commit e0c9128 into stable25 Mar 15, 2023
@nickvergessen
nickvergessen deleted the backport/37221/stable25 branch March 15, 2023 09:27
@blizzz blizzz mentioned this pull request Mar 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants