Skip to content

[fix] fix bitwuzla build version fix#169

Merged
misonijnik merged 1 commit intomainfrom
bitwuzla_build_fix
Jan 30, 2024
Merged

[fix] fix bitwuzla build version fix#169
misonijnik merged 1 commit intomainfrom
bitwuzla_build_fix

Conversation

@ocelaiwo
Copy link
Collaborator

No description provided.

@ocelaiwo ocelaiwo requested a review from misonijnik January 29, 2024 11:43
@codecov-commenter
Copy link

codecov-commenter commented Jan 29, 2024

Codecov Report

Merging #169 (a2fe864) into main (c7dd2ee) will decrease coverage by 0.01%.
The diff coverage is n/a.

❗ Current head a2fe864 differs from pull request most recent head 56e68d4. Consider uploading reports for the commit 56e68d4 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #169      +/-   ##
==========================================
- Coverage   69.42%   69.42%   -0.01%     
==========================================
  Files         210      210              
  Lines       30083    30083              
  Branches     6668     6668              
==========================================
- Hits        20886    20884       -2     
- Misses       6692     6693       +1     
- Partials     2505     2506       +1     

see 1 file with indirect coverage changes

@misonijnik misonijnik merged commit 7f6fd2d into main Jan 30, 2024
@ocelaiwo ocelaiwo deleted the bitwuzla_build_fix branch February 16, 2024 15:50
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.

3 participants