Skip to content
New issue

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

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

Already on GitHub? # to your account

fix: check invariants: v12 check #11371

Merged
merged 1 commit into from
Nov 1, 2023
Merged

Conversation

snissn
Copy link
Contributor

@snissn snissn commented Oct 31, 2023

add support for v12 check invariants and also a default case to reduce future confusion

currently merging this into master, not sure what branch it needs to be on - the cherry pick commit is fefd851

Related Issues

Proposed Changes

Additional Info

Checklist

Before you mark the PR ready for review, please make sure that:

  • Commits have a clear commit message.
  • PR title is in the form of of <PR type>: <area>: <change being made>
    • example: fix: mempool: Introduce a cache for valid signatures
    • PR type: fix, feat, build, chore, ci, docs, perf, refactor, revert, style, test
    • area, e.g. api, chain, state, market, mempool, multisig, networking, paych, proving, sealing, wallet, deps
  • If the PR affects users (e.g., new feature, bug fix, system requirements change), update the CHANGELOG.md and add details to the UNRELEASED section.
  • New features have usage guidelines and / or documentation updates in
  • Tests exist for new functionality or change in behavior
  • CI is green

@snissn snissn requested a review from arajasek October 31, 2023 23:50
@snissn snissn self-assigned this Oct 31, 2023
@snissn snissn requested a review from a team as a code owner October 31, 2023 23:50
@snissn snissn merged commit 72c5a9a into master Nov 1, 2023
@snissn snissn deleted the mikers/invariantCheckBugfix2 branch November 1, 2023 16:36
jennijuju pushed a commit that referenced this pull request Nov 1, 2023
Stebalien pushed a commit that referenced this pull request Nov 1, 2023
@jennijuju jennijuju mentioned this pull request Nov 1, 2023
jennijuju pushed a commit that referenced this pull request Nov 2, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants