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.

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

Further CI fixing, only do clang-tidy stuff in PRs #4609

Merged
merged 1 commit into from
May 8, 2023
Merged

Further CI fixing, only do clang-tidy stuff in PRs #4609

merged 1 commit into from
May 8, 2023

Conversation

pajlada
Copy link
Member

@pajlada pajlada commented May 8, 2023

Description

@pajlada pajlada enabled auto-merge (squash) May 8, 2023 12:37
@pajlada pajlada disabled auto-merge May 8, 2023 12:38
@pajlada pajlada changed the title only do clang-tidy stuff in PRs Further CI fixing, only do clang-tidy stuff in PRs May 8, 2023
@pajlada pajlada enabled auto-merge (squash) May 8, 2023 12:38
@pajlada pajlada merged commit 62fc590 into master May 8, 2023
@pajlada pajlada deleted the chore/clean-up-ci-2 branch May 8, 2023 13:29
@ilya-zlobintsev ilya-zlobintsev mentioned this pull request Jan 30, 2024
Closed
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
no changelog entry needed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@pajlada