Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a governance extension that implements super quorum formal verification #6152: Pull request #5492 synchronize by 0xmichalis
February 18, 2025 11:50 59s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 18, 2025 11:50 59s
Use SignatureChecker inside Permit to allow smart contract wallets to use it formal verification #6151: Pull request #3951 synchronize by Amxx
February 18, 2025 11:30 1m 18s k06a:feature/permit-signature-checker
k06a:feature/permit-signature-checker
February 18, 2025 11:30 1m 18s
Add a governance extension that implements super quorum formal verification #6150: Pull request #5492 synchronize by Amxx
February 18, 2025 11:09 1m 0s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 18, 2025 11:09 1m 0s
Add a governance extension that implements super quorum formal verification #6149: Pull request #5492 synchronize by Amxx
February 18, 2025 10:50 1m 1s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 18, 2025 10:50 1m 1s
Add a governance extension that implements super quorum formal verification #6148: Pull request #5492 synchronize by Amxx
February 18, 2025 10:46 1m 2s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 18, 2025 10:46 1m 2s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6147: Pull request #5508 synchronize by Amxx
February 18, 2025 09:58 1m 9s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 18, 2025 09:58 1m 9s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6146: Pull request #5508 reopened by Amxx
February 18, 2025 09:15 1m 6s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 18, 2025 09:15 1m 6s
Group typo fixes formal verification #6145: Pull request #5466 synchronize by Amxx
February 18, 2025 08:54 1m 8s typo-fixes
typo-fixes
February 18, 2025 08:54 1m 8s
minor format-changelog.js formal verification #6144: Pull request #5517 labeled by Amxx
February 18, 2025 08:54 1m 0s eeemmmmmm:patch-1
eeemmmmmm:patch-1
February 18, 2025 08:54 1m 0s
minor format-changelog.js formal verification #6143: Pull request #5517 labeled by Amxx
February 18, 2025 08:54 1m 56s eeemmmmmm:patch-1
eeemmmmmm:patch-1
February 18, 2025 08:54 1m 56s
Group typo fixes formal verification #6142: Pull request #5466 synchronize by Amxx
February 18, 2025 08:53 59s typo-fixes
typo-fixes
February 18, 2025 08:53 59s
Fix spelling error in CHANGELOG.md formal verification #6141: Pull request #5516 labeled by Amxx
February 18, 2025 08:52 59s Pronoss:fix/spelling
Pronoss:fix/spelling
February 18, 2025 08:52 59s
Fix spelling error in CHANGELOG.md formal verification #6140: Pull request #5516 labeled by Amxx
February 18, 2025 08:52 1m 55s Pronoss:fix/spelling
Pronoss:fix/spelling
February 18, 2025 08:52 1m 55s
minor format-changelog.js formal verification #6139: Pull request #5517 opened by eeemmmmmm
February 17, 2025 18:54 1m 8s eeemmmmmm:patch-1
eeemmmmmm:patch-1
February 17, 2025 18:54 1m 8s
fix: improve solhint custom rules and remove TODOs formal verification #6138: Pull request #5497 synchronize by crStiv
February 17, 2025 12:39 38s crStiv:фф
crStiv:фф
February 17, 2025 12:39 38s
Fix spelling error in CHANGELOG.md formal verification #6137: Pull request #5516 opened by Pronoss
February 17, 2025 11:53 1m 16s Pronoss:fix/spelling
Pronoss:fix/spelling
February 17, 2025 11:53 1m 16s
Group typo fixes formal verification #6136: Pull request #5466 synchronize by arr00
February 16, 2025 21:50 1m 2s typo-fixes
typo-fixes
February 16, 2025 21:50 1m 2s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6135: Pull request #5508 synchronize by DarkLord017
February 16, 2025 06:08 57s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 16, 2025 06:08 57s
ref: added functionality to escapeJSONstrings (ref: #5251) formal verification #6134: Pull request #5508 synchronize by DarkLord017
February 16, 2025 06:02 55s DarkLord017:escape_functionality
DarkLord017:escape_functionality
February 16, 2025 06:02 55s
Update dependency halmos to v0.2.6 formal verification #6133: Pull request #5515 labeled by renovate bot
February 15, 2025 06:53 1m 8s renovate/halmos-0.x
renovate/halmos-0.x
February 15, 2025 06:53 1m 8s
Update dependency halmos to v0.2.6 formal verification #6132: Pull request #5515 opened by renovate bot
February 15, 2025 06:53 2m 4s renovate/halmos-0.x
renovate/halmos-0.x
February 15, 2025 06:53 2m 4s
Deploy OpenZeppelin foundry book formal verification #6131: Pull request #5514 opened by Dargon789
February 15, 2025 04:10 1m 4s Dargon789:master
Dargon789:master
February 15, 2025 04:10 1m 4s
Circleci project setup formal verification #6130: Pull request #5513 synchronize by Dargon789
February 15, 2025 03:14 1m 21s Dargon789:circleci-project-setup
Dargon789:circleci-project-setup
February 15, 2025 03:14 1m 21s
Circleci project setup formal verification #6129: Pull request #5513 opened by Dargon789
February 15, 2025 03:13 1m 5s Dargon789:circleci-project-setup
Dargon789:circleci-project-setup
February 15, 2025 03:13 1m 5s
Group typo fixes formal verification #6128: Pull request #5466 synchronize by arr00
February 14, 2025 22:35 1m 1s typo-fixes
typo-fixes
February 14, 2025 22:35 1m 1s