Skip to content

Conversation

@create-pr-actions
Copy link

Automated update to Github CI workflow cont_integration.yml by create-pull-request GitHub action

@notmandatory notmandatory added the chore Non-coding related work label Nov 15, 2024
@notmandatory notmandatory added this to the 1.0.0-beta milestone Nov 15, 2024
@notmandatory notmandatory self-assigned this Nov 15, 2024
Copy link
Member

@notmandatory notmandatory left a comment

Choose a reason for hiding this comment

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

ACK c777895

@notmandatory notmandatory merged commit b8c736c into master Nov 15, 2024
42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Non-coding related work

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants