-
Notifications
You must be signed in to change notification settings - Fork 12.1k
Pull requests: OpenZeppelin/openzeppelin-contracts
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add NFT-Based Voting & Dynamic Delegation Support to Votes.behavior.js
#5842
opened Aug 11, 2025 by
sohamsk13
Loading…
Add High-Volume Delegation Stress Tests and Gas Usage Benchmarking to Votes.test.js
#5841
opened Aug 11, 2025 by
sohamsk13
Loading…
Update actions/download-artifact action to v5
ignore-changeset
#5834
opened Aug 6, 2025 by
renovate
bot
Loading…
1 task
Update dependency halmos to v0.3.3
ignore-changeset
#5819
opened Jul 26, 2025 by
renovate
bot
Loading…
1 task
chore: fixed an OpenZeppelin Defender link
documentation
Inline comments, guides, and examples.
ignore-changeset
#5812
opened Jul 22, 2025 by
DeVikingMark
Loading…
3 tasks
Update OZ solhint custom rules [WIP]
automation
Tests and coverage running. Docsite publishing.
CI
ignore-changeset
Update FV specs and script
formal-verification
Enable FV run in a PR.
ignore-changeset
#5786
opened Jul 7, 2025 by
Amxx
Loading…
2 of 5 tasks
Formal verification of Account (7702+7579)
Account Abstraction
formal-verification
Enable FV run in a PR.
ignore-changeset
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.