Skip to content

Bump version to 0.13.0.0#304

Merged
lsrcz merged 1 commit into
mainfrom
bump-version-0.13.0.0
Jul 3, 2025
Merged

Bump version to 0.13.0.0#304
lsrcz merged 1 commit into
mainfrom
bump-version-0.13.0.0

Conversation

@lsrcz
Copy link
Copy Markdown
Owner

@lsrcz lsrcz commented Jul 3, 2025

Bump version to 0.13.0.0, update dependencies/

@lsrcz lsrcz force-pushed the bump-version-0.13.0.0 branch 2 times, most recently from 97ca92c to ae5ba01 Compare July 3, 2025 09:08
@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 3, 2025

Codecov Report

Attention: Patch coverage is 20.00000% with 4 lines in your changes missing coverage. Please review.

Project coverage is 75.06%. Comparing base (450ce8a) to head (ae5ba01).

Files with missing lines Patch % Lines
src/Grisette/Internal/SymPrim/SomeBV.hs 20.00% 3 Missing and 1 partial ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #304      +/-   ##
==========================================
- Coverage   75.11%   75.06%   -0.06%     
==========================================
  Files         209      209              
  Lines       32285    32287       +2     
  Branches     2237     2243       +6     
==========================================
- Hits        24252    24237      -15     
- Misses       5796     5807      +11     
- Partials     2237     2243       +6     

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

@lsrcz lsrcz force-pushed the bump-version-0.13.0.0 branch from ae5ba01 to 28ad5d1 Compare July 3, 2025 17:38
@lsrcz lsrcz merged commit 970db7b into main Jul 3, 2025
21 checks passed
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