Skip to content

Multi-property monitor#17

Merged
arincdemir merged 2 commits into
mainfrom
multi-property
Mar 8, 2026
Merged

Multi-property monitor#17
arincdemir merged 2 commits into
mainfrom
multi-property

Conversation

@arincdemir

@arincdemir arincdemir commented Mar 7, 2026

Copy link
Copy Markdown
Owner

Created the multi-property monitor
closes #15

@arincdemir arincdemir self-assigned this Mar 7, 2026
@arincdemir arincdemir closed this Mar 7, 2026
@arincdemir arincdemir reopened this Mar 7, 2026
@codecov-commenter

Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 85.60606% with 19 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
include/do-verify/MTLEngine.hpp 68.00% 6 Missing and 2 partials ⚠️
src/test_parse.cpp 0.00% 6 Missing ⚠️
include/do-verify/ptl.hpp 92.53% 2 Missing and 3 partials ⚠️

📢 Thoughts on this report? Let us know!

@arincdemir
arincdemir merged commit d938973 into main Mar 8, 2026
2 checks passed
@arincdemir
arincdemir deleted the multi-property branch March 8, 2026 10:58
@arincdemir
arincdemir restored the multi-property branch March 17, 2026 13:51
@arincdemir
arincdemir deleted the multi-property branch April 8, 2026 08:38
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.

Implement the Multi-Property Monitor

2 participants