Skip to content

Slice from a DiscreteVector#1139

Merged
tpadioleau merged 1 commit into
mainfrom
feature/slice-by-discrete-vector
May 7, 2026
Merged

Slice from a DiscreteVector#1139
tpadioleau merged 1 commit into
mainfrom
feature/slice-by-discrete-vector

Conversation

@tpadioleau
Copy link
Copy Markdown
Member

No description provided.

@tpadioleau tpadioleau self-assigned this May 7, 2026
@tpadioleau tpadioleau force-pushed the feature/slice-by-discrete-vector branch from 90ef53b to c12c31e Compare May 7, 2026 07:25
@codecov
Copy link
Copy Markdown

codecov Bot commented May 7, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.16%. Comparing base (e585ee1) to head (03d9e37).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1139   +/-   ##
=======================================
  Coverage   95.16%   95.16%           
=======================================
  Files          69       69           
  Lines        2958     2960    +2     
  Branches      944      944           
=======================================
+ Hits         2815     2817    +2     
  Misses         91       91           
  Partials       52       52           

☔ 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.

@tpadioleau tpadioleau force-pushed the feature/slice-by-discrete-vector branch from c12c31e to 28dab67 Compare May 7, 2026 07:59
@tpadioleau tpadioleau force-pushed the feature/slice-by-discrete-vector branch from 28dab67 to 03d9e37 Compare May 7, 2026 09:17
@tpadioleau tpadioleau merged commit 78be6ec into main May 7, 2026
67 checks passed
@tpadioleau tpadioleau deleted the feature/slice-by-discrete-vector branch May 7, 2026 12:31
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