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/spec -- non_exhaustive enums, testStepId #6

Merged
merged 3 commits into from
Oct 8, 2024
Merged

fix/spec -- non_exhaustive enums, testStepId #6

merged 3 commits into from
Oct 8, 2024

Conversation

mimir-d
Copy link
Contributor

@mimir-d mimir-d commented Oct 8, 2024

  • various fixes to spec related constructs (at this point; some still needed later)
    • add non_exhaustive to public enums
    • add missing testStepId to step artifacts; required refactoring

@mimir-d mimir-d requested a review from njordr October 8, 2024 16:30
Copy link

codecov bot commented Oct 8, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.3%. Comparing base (4987393) to head (e68165d).
Report is 5 commits behind head on dev.

Additional details and impacted files

@mimir-d mimir-d force-pushed the fix/separate_api_primitives branch from 82b8dd6 to 4c539af Compare October 8, 2024 16:34
@mimir-d mimir-d changed the title Fix/spec -- non_exhaustive enums, testStepId fix/spec -- non_exhaustive enums, testStepId Oct 8, 2024
@mimir-d mimir-d force-pushed the fix/separate_api_primitives branch from 4c539af to 4987393 Compare October 8, 2024 17:01
Base automatically changed from fix/separate_api_primitives to dev October 8, 2024 17:03
- this is needed in case the spec adds new variants; otherwise we break
  consumers of these enums that may have matched exhaustively

Signed-off-by: mimir-d <[email protected]>
- note that the tests are not catching the fact that this new field is
  missing from the expected output, because all the tests are doing an
  "included" test, rather than the correct equality; fixing this in a
  later commit

Signed-off-by: mimir-d <[email protected]>
@mimir-d mimir-d merged commit 36e9298 into dev Oct 8, 2024
12 checks passed
@mimir-d mimir-d deleted the fix/spec branch October 8, 2024 17: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.

2 participants