Skip to content
This repository was archived by the owner on Oct 2, 2023. It is now read-only.

Feature/ci using runner groups#56

Merged
asiniscalchi merged 24 commits intodevfrom
feature/ci_using_runner_groups
Jul 13, 2023
Merged

Feature/ci using runner groups#56
asiniscalchi merged 24 commits intodevfrom
feature/ci_using_runner_groups

Conversation

@asiniscalchi
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown

@ghost ghost left a comment

Choose a reason for hiding this comment

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

lgtm

@asiniscalchi asiniscalchi merged commit 97f3fad into dev Jul 13, 2023
@asiniscalchi asiniscalchi deleted the feature/ci_using_runner_groups branch July 13, 2023 15:41
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant