Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: remove extra consequence from protobuf #454

Merged
merged 1 commit into from
Sep 3, 2024

Conversation

holtgrewe
Copy link
Contributor

No description provided.

@holtgrewe holtgrewe enabled auto-merge (squash) September 3, 2024 08:56
@holtgrewe holtgrewe force-pushed the fix-add-missing-consequence-conversion branch from 28409b0 to 0b409cd Compare September 3, 2024 09:00
Copy link

codecov bot commented Sep 3, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74%. Comparing base (13a106a) to head (0b409cd).
Report is 1 commits behind head on main.

Additional details and impacted files
@@         Coverage Diff         @@
##           main   #454   +/-   ##
===================================
- Coverage    74%    74%   -1%     
===================================
  Files        42     42           
  Lines      7359   7359           
===================================
- Hits       5476   5475    -1     
- Misses     1883   1884    +1     

see 1 file with indirect coverage changes

@holtgrewe holtgrewe changed the title fix: add missing consequence conversion fix: remove extra consequence from protobuf Sep 3, 2024
@holtgrewe holtgrewe merged commit 843922a into main Sep 3, 2024
9 of 10 checks passed
@holtgrewe holtgrewe deleted the fix-add-missing-consequence-conversion branch September 3, 2024 09:07
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