Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v5.3 cherrypick #2 formal verification #6189: Pull request #5526 synchronize by Amxx
February 24, 2025 16:45 1m 41s Amxx:release-v5.3-cherrypick
Amxx:release-v5.3-cherrypick
February 24, 2025 16:45 1m 41s
Release v5.3 cherrypick #2 formal verification #6188: Pull request #5526 opened by Amxx
February 24, 2025 16:44 1m 20s Amxx:release-v5.3-cherrypick
Amxx:release-v5.3-cherrypick
February 24, 2025 16:44 1m 20s
Fix spelling errors in GUIDELINES.md and README.adoc formal verification #6187: Pull request #5525 opened by tomasandroil
February 24, 2025 15:01 1m 18s tomasandroil:fix/fix
tomasandroil:fix/fix
February 24, 2025 15:01 1m 18s
fix correction ERC1155Supply.test.js formal verification #6186: Pull request #5524 opened by eeemmmmmm
February 24, 2025 14:05 1m 10s eeemmmmmm:patch-2
eeemmmmmm:patch-2
February 24, 2025 14:05 1m 10s
fix duplicate ERC6909.behavior.js formal verification #6185: Pull request #5523 opened by aso20455
February 24, 2025 11:41 1m 10s aso20455:patch-1
aso20455:patch-1
February 24, 2025 11:41 1m 10s
Add _initializableStorageSlot formal verification #6184: Pull request #5337 synchronize by ernestognw
February 24, 2025 01:25 1m 13s ernestognw:virtual-initializable-storage
ernestognw:virtual-initializable-storage
February 24, 2025 01:25 1m 13s
Add Arachnid's and Micah's deployer to the common contracts formal verification #6183: Pull request #5519 synchronize by Amxx
February 21, 2025 21:50 55s Amxx:feature/arachnid-deployer
Amxx:feature/arachnid-deployer
February 21, 2025 21:50 55s
Add Arachnid's and Micah's deployer to the common contracts formal verification #6182: Pull request #5519 synchronize by Amxx
February 21, 2025 21:45 1m 4s Amxx:feature/arachnid-deployer
Amxx:feature/arachnid-deployer
February 21, 2025 21:45 1m 4s
Group typo fixes formal verification #6181: Pull request #5466 synchronize by arr00
February 21, 2025 19:51 1m 0s typo-fixes
typo-fixes
February 21, 2025 19:51 1m 0s
Add Arachnid's and Micah's deployer to the common contracts formal verification #6180: Pull request #5519 labeled by Amxx
February 21, 2025 18:53 1m 36s Amxx:feature/arachnid-deployer
Amxx:feature/arachnid-deployer
February 21, 2025 18:53 1m 36s
Add Arachnid's and Micah's deployer to the common contracts formal verification #6179: Pull request #5519 labeled by Amxx
February 21, 2025 18:53 37s Amxx:feature/arachnid-deployer
Amxx:feature/arachnid-deployer
February 21, 2025 18:53 37s
Add Arachnid's and Micah's deployer to the common contracts formal verification #6178: Pull request #5519 opened by Amxx
February 21, 2025 18:53 1m 12s Amxx:feature/arachnid-deployer
Amxx:feature/arachnid-deployer
February 21, 2025 18:53 1m 12s
Update dependency globals to v16 formal verification #6177: Pull request #5518 opened by renovate bot
February 20, 2025 16:16 2m 34s renovate/globals-16.x
renovate/globals-16.x
February 20, 2025 16:16 2m 34s
Update dependency globals to v16 formal verification #6176: Pull request #5518 labeled by renovate bot
February 20, 2025 16:16 1m 41s renovate/globals-16.x
renovate/globals-16.x
February 20, 2025 16:16 1m 41s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6175: Pull request #5508 synchronize by DarkLord017
February 20, 2025 14:17 1m 10s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 20, 2025 14:17 1m 10s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6174: Pull request #5508 synchronize by DarkLord017
February 20, 2025 14:03 1m 7s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 20, 2025 14:03 1m 7s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6173: Pull request #5508 synchronize by DarkLord017
February 20, 2025 13:58 2m 2s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 20, 2025 13:58 2m 2s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6172: Pull request #5508 synchronize by DarkLord017
February 20, 2025 12:50 1m 13s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 20, 2025 12:50 1m 13s
chore: fix incorrect formal verification #6171: Pull request #5510 synchronize by GooseMatrix
February 20, 2025 11:28 1m 24s GooseMatrix:patch-1
GooseMatrix:patch-1
February 20, 2025 11:28 1m 24s
chore: fix incorrect formal verification #6170: Pull request #5510 synchronize by GooseMatrix
February 20, 2025 11:27 59s GooseMatrix:patch-1
GooseMatrix:patch-1
February 20, 2025 11:27 59s
Add a governance extension that implements super quorum formal verification #6169: Pull request #5492 synchronize by Amxx
February 20, 2025 08:49 1m 1s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 20, 2025 08:49 1m 1s
Add a governance extension that implements super quorum formal verification #6168: Pull request #5492 synchronize by Amxx
February 20, 2025 08:31 48s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 20, 2025 08:31 48s
Add a governance extension that implements super quorum formal verification #6167: Pull request #5492 synchronize by Amxx
February 20, 2025 08:31 15s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 20, 2025 08:31 15s
Add a governance extension that implements super quorum formal verification #6166: Pull request #5492 synchronize by Amxx
February 20, 2025 08:30 58s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 20, 2025 08:30 58s
Update dependency halmos to v0.2.6 formal verification #6165: Pull request #5515 synchronize by renovate bot
February 20, 2025 03:03 1m 4s renovate/halmos-0.x
renovate/halmos-0.x
February 20, 2025 03:03 1m 4s