PR #18708 ci: extend labeling for PRs by change

ci: extend labeling for PRs by change #18708

Borda merged 3 commits into master from ci/pr-change

ci: extend labeling for PRs by chnage

2e67a519

Borda requested a review from

carmocca 2 years ago

Borda requested a review from

ethanwharris 2 years ago

Borda requested a review from

justusschock 2 years ago

github-actions added ci

Borda requested a review 2 years ago

Borda added this to the 2.1 milestone 2 years ago

awaelchli approved these changes on 2023-10-03

awaelchli changed the title ~~ci: extend labeling for PRs by chnage~~ ci: extend labeling for PRs by change 2 years ago

lantiga approved these changes on 2023-10-04

mergify added ready to be merged

carmocca commented on 2023-10-04

Borda requested a review from

carmocca 2 years ago

justusschock approved these changes on 2023-10-04

name

7429dd4d

[pre-commit.ci] auto fixes from pre-commit.com hooks

21d80e5d

Borda merged cf5aa791 into master 2 years ago

Borda deleted the ci/pr-change branch 2 years ago

Reviewers

justusschock

lantiga

awaelchli

carmocca

ethanwharris

Assignees

No one assigned

Labels

ready to be merged ci

Milestone

2.1