Skip to content

0.0.20#22

Merged
pomponchik merged 10 commits intomainfrom
develop
Feb 13, 2026
Merged

0.0.20#22
pomponchik merged 10 commits intomainfrom
develop

Conversation

@pomponchik
Copy link
Collaborator

A slight improvement.

  • When tracing a mutex, an exception is now raising if there were no events with the specified identifier. This helps make tracing-based tests more compact.
  • Slightly improved the code style.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 21990026437

Details

  • 18 of 18 (100.0%) changed or added relevant lines in 3 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 21966167824: 0.0%
Covered Lines: 185
Relevant Lines: 185

💛 - Coveralls

1 similar comment
@coveralls
Copy link

coveralls commented Feb 13, 2026

Pull Request Test Coverage Report for Build 21990026437

Details

  • 18 of 18 (100.0%) changed or added relevant lines in 3 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 21966167824: 0.0%
Covered Lines: 185
Relevant Lines: 185

💛 - Coveralls

@coveralls
Copy link

coveralls commented Feb 13, 2026

Pull Request Test Coverage Report for Build 21990097322

Details

  • 18 of 18 (100.0%) changed or added relevant lines in 3 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 21966167824: 0.0%
Covered Lines: 185
Relevant Lines: 185

💛 - Coveralls

1 similar comment
@coveralls
Copy link

Pull Request Test Coverage Report for Build 21990097322

Details

  • 18 of 18 (100.0%) changed or added relevant lines in 3 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 21966167824: 0.0%
Covered Lines: 185
Relevant Lines: 185

💛 - Coveralls

@pomponchik pomponchik merged commit da4003d into main Feb 13, 2026
32 checks passed
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.

2 participants