Skip to content

[WIP] Another attempt at quoted constraints#414

Draft
PapyChacal wants to merge 10 commits into
mainfrom
emilien/quoted-constraints
Draft

[WIP] Another attempt at quoted constraints#414
PapyChacal wants to merge 10 commits into
mainfrom
emilien/quoted-constraints

Conversation

@PapyChacal
Copy link
Copy Markdown
Collaborator

No description provided.

@PapyChacal PapyChacal self-assigned this Feb 28, 2026
@PapyChacal PapyChacal changed the title [WIP] Another attempt at quoted macros [WIP] Another attempt at quoted constraints Feb 28, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented Feb 28, 2026

Codecov Report

❌ Patch coverage is 0% with 54 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
core/src/constraints/Constraints.scala 0.00% 36 Missing ⚠️
core/src/clair/macros/Macros.scala 0.00% 12 Missing ⚠️
core/src/clair/macros/Definitions.scala 0.00% 3 Missing ⚠️
core/src/clair/macros/Mirror.scala 0.00% 2 Missing ⚠️
core/src/constraints/ConstraintCompanion.scala 0.00% 1 Missing ⚠️
Files with missing lines Coverage Δ
core/src/constraints/ConstraintCompanion.scala 0.00% <0.00%> (ø)
core/src/clair/macros/Mirror.scala 0.00% <0.00%> (-4.21%) ⬇️
core/src/clair/macros/Definitions.scala 0.00% <0.00%> (-18.92%) ⬇️
core/src/clair/macros/Macros.scala 0.00% <0.00%> (-19.87%) ⬇️
core/src/constraints/Constraints.scala 0.00% <0.00%> (-100.00%) ⬇️

... and 2 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

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