Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
3,116 workflow runs
3,116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ERC6909 Implementation along with extensions formal verification #5902: Pull request #5394 synchronize by arr00
January 27, 2025 03:14 1m 16s arr00:feat/6909-impl
arr00:feat/6909-impl
January 27, 2025 03:14 1m 16s
chore: fix owner's to owner's formal verification #5901: Pull request #5462 opened by XxAlex74xX
January 26, 2025 23:39 1m 6s XxAlex74xX:master
XxAlex74xX:master
January 26, 2025 23:39 1m 6s
Add ERC6909 Implementation along with extensions formal verification #5900: Pull request #5394 synchronize by arr00
January 26, 2025 20:17 58s arr00:feat/6909-impl
arr00:feat/6909-impl
January 26, 2025 20:17 58s
Add ERC6909 Implementation along with extensions formal verification #5899: Pull request #5394 synchronize by arr00
January 26, 2025 20:11 1m 5s arr00:feat/6909-impl
arr00:feat/6909-impl
January 26, 2025 20:11 1m 5s
ERC-7540: Asynchronous ERC-4626 Tokenized Vaults formal verification #5898: Pull request #5457 synchronize by DeeJayElly
January 26, 2025 01:49 1m 45s DeeJayElly:feat/ERC-7540
DeeJayElly:feat/ERC-7540
January 26, 2025 01:49 1m 45s
ERC-7540: Asynchronous ERC-4626 Tokenized Vaults formal verification #5897: Pull request #5457 synchronize by DeeJayElly
January 26, 2025 01:48 59s DeeJayElly:feat/ERC-7540
DeeJayElly:feat/ERC-7540
January 26, 2025 01:48 59s
ERC-7540: Asynchronous ERC-4626 Tokenized Vaults formal verification #5896: Pull request #5457 synchronize by DeeJayElly
January 26, 2025 01:43 1m 6s DeeJayElly:feat/ERC-7540
DeeJayElly:feat/ERC-7540
January 26, 2025 01:43 1m 6s
ERC-7540: Asynchronous ERC-4626 Tokenized Vaults formal verification #5895: Pull request #5457 synchronize by DeeJayElly
January 26, 2025 01:42 58s DeeJayElly:feat/ERC-7540
DeeJayElly:feat/ERC-7540
January 26, 2025 01:42 58s
ERC-7540: Asynchronous ERC-4626 Tokenized Vaults formal verification #5894: Pull request #5457 synchronize by DeeJayElly
January 26, 2025 01:42 27s DeeJayElly:feat/ERC-7540
DeeJayElly:feat/ERC-7540
January 26, 2025 01:42 27s
Update dependency halmos to v0.2.4 formal verification #5893: Pull request #5461 opened by renovate bot
January 25, 2025 01:43 2m 11s renovate/halmos-0.x
renovate/halmos-0.x
January 25, 2025 01:43 2m 11s
Update dependency halmos to v0.2.4 formal verification #5892: Pull request #5461 labeled by renovate bot
January 25, 2025 01:43 1m 8s renovate/halmos-0.x
renovate/halmos-0.x
January 25, 2025 01:43 1m 8s
Fix interface docs ordering and add missing interface formal verification #5891: Pull request #5460 labeled by arr00
January 24, 2025 19:37 1m 37s arr00:chore/update-interface-docs
arr00:chore/update-interface-docs
January 24, 2025 19:37 1m 37s
Fix interface docs ordering and add missing interface formal verification #5890: Pull request #5460 opened by arr00
January 24, 2025 19:37 1m 6s arr00:chore/update-interface-docs
arr00:chore/update-interface-docs
January 24, 2025 19:37 1m 6s
Add a governor extension that implements a proposal guardian formal verification #5889: Pull request #5303 synchronize by arr00
January 24, 2025 19:24 57s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 19:24 57s
Add a governor extension that implements a proposal guardian formal verification #5888: Pull request #5303 synchronize by arr00
January 24, 2025 19:09 1m 7s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 19:09 1m 7s
Add a governor extension that implements a proposal guardian formal verification #5887: Pull request #5303 synchronize by arr00
January 24, 2025 18:27 1m 49s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 18:27 1m 49s
Add a governor extension that implements a proposal guardian formal verification #5886: Pull request #5303 synchronize by arr00
January 24, 2025 18:27 1m 0s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 18:27 1m 0s
Add a governor extension that implements a proposal guardian formal verification #5885: Pull request #5303 synchronize by arr00
January 24, 2025 17:48 55s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 17:48 55s
Add a governor extension that implements a proposal guardian formal verification #5884: Pull request #5303 synchronize by arr00
January 24, 2025 17:42 1m 27s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 17:42 1m 27s
Add a governor extension that implements a proposal guardian formal verification #5883: Pull request #5303 synchronize by arr00
January 24, 2025 17:41 1m 3s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 17:41 1m 3s
Add a governor extension that implements a proposal guardian formal verification #5882: Pull request #5303 synchronize by Amxx
January 24, 2025 17:39 58s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 17:39 58s
Add ERC6909 Implementation along with extensions formal verification #5881: Pull request #5394 synchronize by arr00
January 24, 2025 17:38 58s arr00:feat/6909-impl
arr00:feat/6909-impl
January 24, 2025 17:38 58s
Add a governor extension that implements a proposal guardian formal verification #5880: Pull request #5303 synchronize by Amxx
January 24, 2025 17:35 55s Amxx:feature/governor/security_council
Amxx:feature/governor/security_council
January 24, 2025 17:35 55s
Add function to update a leaf in a MerkleTree structure formal verification #5879: Pull request #5453 synchronize by Amxx
January 24, 2025 17:23 58s Amxx:feature/merkle-tree-update
Amxx:feature/merkle-tree-update
January 24, 2025 17:23 58s
fix correction formal verification #5878: Pull request #5458 labeled by Amxx
January 24, 2025 17:22 1m 38s Bilogweb3:master
Bilogweb3:master
January 24, 2025 17:22 1m 38s