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

Update Blockifier to 0.14.0-rc.0 #692

Closed
wants to merge 45 commits into from
Closed

Update Blockifier to 0.14.0-rc.0 #692

wants to merge 45 commits into from

Conversation

FabijanC
Copy link
Contributor

@FabijanC FabijanC commented Feb 5, 2025

Usage related changes

Development related changes

Checklist:

  • Checked out the contribution guidelines
  • Applied formatting - ./scripts/format.sh
  • No linter errors - ./scripts/clippy_check.sh
  • No unused dependencies - ./scripts/check_unused_deps.sh
  • No spelling errors - ./scripts/check_spelling.sh
  • Performed code self-review
  • Rebased to the latest commit of the target branch (or merged it into my branch)
    • Once you make the PR reviewable, please avoid force-pushing
  • Updated the docs if needed - ./website/README.md
  • Linked the issues resolvable by this PR - linking info
  • Updated the tests if needed; all passing - execution info

@FabijanC FabijanC changed the title Update Blockifier to 0.14 Update Blockifier to 0.14-rc.0 Feb 5, 2025
@FabijanC FabijanC changed the title Update Blockifier to 0.14-rc.0 Update Blockifier to 0.14.0-rc.0 Feb 11, 2025
@FabijanC
Copy link
Contributor Author

Superseded by #697

@FabijanC FabijanC closed this Feb 26, 2025
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.

Failing tests requiring USC that supports Sierra 1.7.0
2 participants