Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: Added parter labels #147

Merged
merged 1 commit into from
Jun 20, 2024
Merged

ci: Added parter labels #147

merged 1 commit into from
Jun 20, 2024

Conversation

Josephasafg
Copy link
Contributor

No description provided.

@github-actions github-actions bot added ci Change to CI size:m labels Jun 20, 2024
miri-bar
miri-bar approved these changes Jun 20, 2024
View reviewed changes
Copy link
Contributor

@miri-bar miri-bar left a comment

Choose a reason for hiding this comment

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

Cool addition!

@github-actions github-actions bot added the lgtm Looks Good to Me label Jun 20, 2024
@Josephasafg Josephasafg merged commit 737d98f into main Jun 20, 2024
13 checks passed
@Josephasafg Josephasafg deleted the add_more_labels branch June 20, 2024 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@miri-bar miri-bar miri-bar approved these changes

Assignees
No one assigned
Labels
ci Change to CI lgtm Looks Good to Me size:m
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Josephasafg @miri-bar