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 howto-reduce-jenkins-execution-costs-without-refactoring.md #2164

Merged
merged 3 commits into from
Sep 15, 2023

Conversation

ThomasLehnerSpryker
Copy link
Collaborator

Adjusted Info Panel

PR Description

TBD

Checklist

  • [x ] I agree with the Code Contribution License Agreement in CONTRIBUTING.md

@ThomasLehnerSpryker ThomasLehnerSpryker added the tech review needed PR needs tech review label Sep 12, 2023
@lenadoc lenadoc added the updated PR contains meaningful changes to some document label Sep 15, 2023
@lenadoc lenadoc merged commit 6430435 into master Sep 15, 2023
@lenadoc lenadoc deleted the ThomasLehnerSpryker-patch-8 branch September 15, 2023 09:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tech review needed PR needs tech review updated PR contains meaningful changes to some document
Development

Successfully merging this pull request may close these issues.

2 participants