Skip to content
New issue

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

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

Already on GitHub? # to your account

Add CI/infra label #233

Merged
merged 1 commit into from
May 14, 2024
Merged

Add CI/infra label #233

merged 1 commit into from
May 14, 2024

Conversation

chalin
Copy link
Collaborator

@chalin chalin commented May 14, 2024

No description provided.

Signed-off-by: Patrice Chalin <chalin@users.noreply.github.com>
@chalin chalin requested a review from nate-double-u May 14, 2024 17:01
Copy link
Member

@nate-double-u nate-double-u left a comment

Choose a reason for hiding this comment

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

Good suggestion, thx!

@nate-double-u nate-double-u merged commit e44c02e into main May 14, 2024
1 check passed
@nate-double-u nate-double-u deleted the chalin-patch-1 branch May 14, 2024 19:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants