Skip to content

Comments

ci: fix duplicated checks#151

Merged
pires merged 1 commit intomainfrom
pires/fix/duplicated_ci_checks
Feb 4, 2026
Merged

ci: fix duplicated checks#151
pires merged 1 commit intomainfrom
pires/fix/duplicated_ci_checks

Conversation

@pires
Copy link
Owner

@pires pires commented Feb 4, 2026

No description provided.

@pires pires added the tests label Feb 4, 2026
@pires pires merged commit 6994bcd into main Feb 4, 2026
7 checks passed
@pires pires deleted the pires/fix/duplicated_ci_checks branch February 4, 2026 13:43
@coveralls
Copy link

Coverage Status

coverage: 95.03%. remained the same
when pulling 237b845 on pires/fix/duplicated_ci_checks
into 1ddde3c on main.

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants