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

don't skip steps at merge #18974

Merged
merged 1 commit into from
Jun 20, 2022
Merged

don't skip steps at merge #18974

merged 1 commit into from
Jun 20, 2022

Conversation

mshima
Copy link
Member

@mshima mshima commented Jun 20, 2022

Always execute frontend, backend and sonar at merge.


Please make sure the below checklist is followed for Pull Requests.

When you are still working on the PR, consider converting it to Draft (below reviewers) and adding skip-ci label, you can still see CI build result at your branch.

@mshima mshima enabled auto-merge (squash) June 20, 2022 23:31
@mshima mshima merged commit 9e246b3 into main Jun 20, 2022
@mshima mshima deleted the skip_ci-skip_detection_merge branch June 20, 2022 23:47
@DanielFran DanielFran added this to the 7.9.0 milestone Jun 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants