Skip to content

Assorted CI tweaks #18374

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
Merged
mrc0mmand merged 3 commits into from
Jan 25, 2021
Merged

Assorted CI tweaks #18374

mrc0mmand merged 3 commits into from
Jan 25, 2021

Conversation

@mrc0mmand
Copy link
Member

@mrc0mmand mrc0mmand commented Jan 25, 2021

No description provided.

bluca
bluca approved these changes Jan 25, 2021
View reviewed changes
Copy link
Member

@bluca bluca left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@bluca bluca added the good-to-merge/waiting-for-ci 👍 PR is good to merge, but CI hasn't passed at time of review. Please merge if you see CI has passed label Jan 25, 2021
@keszybz
Copy link
Member

keszybz commented Jan 25, 2021

LGTM too.

@mrc0mmand mrc0mmand merged commit 77c93e0 into systemd:main Jan 25, 2021
@mrc0mmand mrc0mmand deleted the assorted-ci-tweaks branch January 25, 2021 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@bluca bluca bluca approved these changes

Assignees

No one assigned

Labels

ci good-to-merge/waiting-for-ci 👍 PR is good to merge, but CI hasn't passed at time of review. Please merge if you see CI has passed quick-review 🏃‍♂️

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mrc0mmand @keszybz @bluca