Skip to content

simplify tidy#115

Open
correaa wants to merge 1 commit intomasterfrom
simplify-tidy
Open

simplify tidy#115
correaa wants to merge 1 commit intomasterfrom
simplify-tidy

Conversation

@correaa
Copy link
Copy Markdown
Owner

@correaa correaa commented Nov 16, 2025

Gitlab's gitlabci

This PR was open from a Gitlab Merge request,
it will be probably be merged from Gitlab, and then in can be closed here.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant