Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

formal verification

Actions

Loading...

Show workflow options

Create status badge

formal-verification.yml
3,825 workflow runs
3,825 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Kansas1295 patch 3 formal verification #4158: Pull request #5050 opened by kansas1295
May 20, 2024 22:19 13s kansas1295:kansas1295-patch-3
kansas1295:kansas1295-patch-3
May 20, 2024 22:19 13s
Fix spelling formal verification #4157: Pull request #5049 opened by chibitanaka
May 20, 2024 18:53 11s chibitanaka:spelling-fixes
chibitanaka:spelling-fixes
May 20, 2024 18:53 11s
Fix typo in Governance docs formal verification #4156: Pull request #5048 labeled by Amxx
May 20, 2024 14:00 14s GianfrancoBazzani:patch-1
GianfrancoBazzani:patch-1
May 20, 2024 14:00 14s
Fix typo in Governance docs formal verification #4155: Pull request #5048 opened by GianfrancoBazzani
May 19, 2024 19:04 14s GianfrancoBazzani:patch-1
GianfrancoBazzani:patch-1
May 19, 2024 19:04 14s
Add Halmos support formal verification #4154: Pull request #5034 synchronize by ernestognw
May 17, 2024 18:17 1m 8s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 18:17 1m 8s
Add Halmos support formal verification #4153: Pull request #5034 synchronize by ernestognw
May 17, 2024 18:13 1m 0s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 18:13 1m 0s
Add Halmos support formal verification #4152: Pull request #5034 synchronize by ernestognw
May 17, 2024 18:11 1m 4s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 18:11 1m 4s
Add Halmos support formal verification #4151: Pull request #5034 synchronize by ernestognw
May 17, 2024 17:51 57s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 17:51 57s
Fix typo in GovernorVotesQuorumFraction.test.js formal verification #4150: Pull request #5041 labeled by Amxx
May 17, 2024 13:23 15s bodhi-crypo:master
bodhi-crypo:master
May 17, 2024 13:23 15s
GovernorCountingFractional formal verification #4149: Pull request #5045 synchronize by Amxx
May 16, 2024 15:45 13s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 16, 2024 15:45 13s
develop read-optimized storage formal verification #4148: Pull request #5044 synchronize by havi-kim
May 16, 2024 13:44 31s havi-kim:idea_read_optimized_storage
havi-kim:idea_read_optimized_storage
May 16, 2024 13:44 31s
GovernorCountingFractional formal verification #4147: Pull request #5045 synchronize by Amxx
May 16, 2024 07:09 14s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 16, 2024 07:09 14s
Update dependency certora-cli to v7 formal verification #4146: Pull request #4957 synchronize by renovate bot
May 15, 2024 18:57 14s renovate/certora-cli-7.x
renovate/certora-cli-7.x
May 15, 2024 18:57 14s
GovernorCountingFractional formal verification #4145: Pull request #5045 synchronize by Amxx
May 15, 2024 16:50 13s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 16:50 13s
GovernorCountingFractional formal verification #4144: Pull request #5045 synchronize by Amxx
May 15, 2024 16:46 25s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 16:46 25s
GovernorCountingFractional formal verification #4143: Pull request #5045 synchronize by Amxx
May 15, 2024 14:50 12s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 14:50 12s
GovernorCountingFractional formal verification #4142: Pull request #5045 synchronize by Amxx
May 15, 2024 14:41 15s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 14:41 15s
GovernorCountingFractional formal verification #4141: Pull request #5045 labeled by Amxx
May 15, 2024 13:30 12s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:30 12s
GovernorCountingFractional formal verification #4140: Pull request #5045 synchronize by Amxx
May 15, 2024 13:21 12s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:21 12s
GovernorCountingFractional formal verification #4139: Pull request #5045 synchronize by Amxx
May 15, 2024 13:12 11s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:12 11s
GovernorCountingFractional formal verification #4138: Pull request #5045 opened by Amxx
May 15, 2024 13:07 22s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:07 22s
Start initial work on ERC4337 interface and helpers formal verification #4137: Pull request #4991 synchronize by Amxx
May 15, 2024 12:17 13s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
May 15, 2024 12:17 13s
Add Halmos support formal verification #4136: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:55 1m 9s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:55 1m 9s
Add Halmos support formal verification #4135: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:16 53s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:16 53s
Add Halmos support formal verification #4134: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:11 23s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:11 23s