Skip to content

Conversation

@github-actions
Copy link
Contributor

Release

This pull request was created, because a new release is due according to the release cycle of this repository.
Just resolve any conflicts and it's good to merge. Any version increment will be done by release automation.

⚠️ You must use Merge commit to merge this pull request

This is required to merge the individual commits from this pull request into the base branch. Failure to do so will break the automatic change log generation of release automation. Do not use "Squash and merge"!

@github-actions github-actions bot added the type:ci CI related issue label Oct 13, 2021
@mtrezza
Copy link
Member

mtrezza commented Oct 13, 2021

Closing; test PR

@mtrezza mtrezza closed this Oct 13, 2021
@mtrezza mtrezza deleted the build-release-13375224452 branch October 13, 2021 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:ci CI related issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants