Skip to content

Fix ≻ and ⪰ to compare the correct endpoints - #23

Merged
timholy merged 1 commit into
mainfrom
teh/fixgt
Sep 5, 2026
Merged

Fix ≻ and ⪰ to compare the correct endpoints#23
timholy merged 1 commit into
mainfrom
teh/fixgt

Add TN for foreign types

872ad86
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Sep 5, 2026 in 0s

93.87% (+0.00%) compared to 778b20c

View this Pull Request on Codecov

93.87% (+0.00%) compared to 778b20c

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 93.87%. Comparing base (778b20c) to head (872ad86).

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #23   +/-   ##
=======================================
  Coverage   93.87%   93.87%           
=======================================
  Files           2        2           
  Lines         147      147           
=======================================
  Hits          138      138           
  Misses          9        9           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

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