Skip to content

Rename: Remove suffix R1 from classes#3

Merged
carlos-adir merged 1 commit intomainfrom
dev/rename
Aug 4, 2025
Merged

Rename: Remove suffix R1 from classes#3
carlos-adir merged 1 commit intomainfrom
dev/rename

Conversation

@carlos-adir
Copy link
Contributor

Rename usual classes to remove the suffix R1:

  • EmptyR1 to Empty
  • WholeR1 to Whole
  • SingleValueR1 to SingleValue
  • IntervalR1 to Interval
  • DisjointR1 to Disjoint

@carlos-adir carlos-adir self-assigned this Aug 4, 2025
@carlos-adir carlos-adir added the enhancement New feature or request label Aug 4, 2025
@codecov
Copy link

codecov bot commented Aug 4, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.84%. Comparing base (49af49f) to head (adcc428).
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main       #3   +/-   ##
=======================================
  Coverage   99.84%   99.84%           
=======================================
  Files           9        9           
  Lines         649      649           
=======================================
  Hits          648      648           
  Misses          1        1           

☔ View full report in Codecov by Sentry.
📢 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.

@carlos-adir carlos-adir merged commit 69f34bd into main Aug 4, 2025
14 checks passed
@carlos-adir carlos-adir deleted the dev/rename branch August 4, 2025 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant