Skip to content

fix: report the diagnostics pyval was swallowing (evaluation errors, disjunctions, metrics, --track) - #4

Open
ghostfix-pm wants to merge 9 commits into
SPL-BGU:mainfrom
ghostfix-pm:fix/honest-diagnostics
Open

ghostfix-pm wants to merge 9 commits into
SPL-BGU:mainfrom
ghostfix-pm:fix/honest-diagnostics

chore: sort imports and satisfy ruff in the new tests

24e6e95
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs