Rename pipelines #1044

Closed

Milestone

opened

on Jan 11, 2024

As follow up to #1035 and #1040 we want to rename some pipelines. #1035 has the details.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

v34.0.0

Relationships

None yet

Development

No branches or pull requests