Skip to content

Upgrade CI and dev tools#74

Merged
marcelotduarte merged 1 commit intomainfrom
dev
Jan 27, 2026
Merged

Upgrade CI and dev tools#74
marcelotduarte merged 1 commit intomainfrom
dev

Conversation

@marcelotduarte
Copy link
Owner

No description provided.

@github-actions
Copy link

Coverage report

This PR does not seem to contain any modification to coverable code.

@marcelotduarte marcelotduarte merged commit 752929b into main Jan 27, 2026
17 checks passed
@marcelotduarte marcelotduarte deleted the dev branch January 27, 2026 06:26
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