PR #18791 ci/release: create a PR for release bump

ci/release: create a PR for release bump #18791

Borda merged 6 commits into master from ci/release-PR

ci/release: create a PR for release bump

723da6c0

Borda added priority: 1

Borda added release

Borda added this to the 2.1 milestone 2 years ago

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

justusschock approved these changes on 2023-10-12

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

31d7d188

assignees

fa255e0d

double time

b0a65e9e

awaelchli approved these changes on 2023-10-12

mergify added ready

typo

4f4ca17e

typo

0572ef6c

Borda removed this from to the 2.1 milestone 2 years ago

Borda added this to the 2.1.x milestone 2 years ago

Borda merged 935616fe into master 2 years ago

Borda deleted the ci/release-PR branch 2 years ago

Reviewers

justusschock

awaelchli

carmocca

ethanwharris

Assignees

No one assigned

Labels

ready ci priority: 1 release

Milestone

2.1.x