Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

checks

Actions

Loading...

Show workflow options

Create status badge

checks.yml
3,853 workflow runs
3,853 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add Halmos support checks #6512: Pull request #5034 synchronize by ernestognw
May 17, 2024 18:17 In progress ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 18:17 In progress
Add Halmos support checks #6511: Pull request #5034 synchronize by ernestognw
May 17, 2024 18:13 4m 0s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 18:13 4m 0s
Add Halmos support checks #6510: Pull request #5034 synchronize by ernestognw
May 17, 2024 18:11 2m 46s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 18:11 2m 46s
Add Halmos support checks #6509: Pull request #5034 synchronize by ernestognw
May 17, 2024 17:51 10m 9s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 17:51 10m 9s
Fix typo in GovernorVotesQuorumFraction.test.js (#5041) checks #6508: Commit d947fb0 pushed by Amxx
May 17, 2024 13:24 9m 42s master
master
May 17, 2024 13:24 9m 42s
GovernorCountingFractional checks #6507: Pull request #5045 synchronize by Amxx
May 16, 2024 15:45 10m 18s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 16, 2024 15:45 10m 18s
develop read-optimized storage checks #6506: Pull request #5044 synchronize by havi-kim
May 16, 2024 13:44 10m 53s havi-kim:idea_read_optimized_storage
havi-kim:idea_read_optimized_storage
May 16, 2024 13:44 10m 53s
GovernorCountingFractional checks #6505: Pull request #5045 synchronize by Amxx
May 16, 2024 07:09 10m 27s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 16, 2024 07:09 10m 27s
Update dependency certora-cli to v7 checks #6504: Pull request #4957 synchronize by renovate bot
May 15, 2024 18:57 10m 15s renovate/certora-cli-7.x
renovate/certora-cli-7.x
May 15, 2024 18:57 10m 15s
GovernorCountingFractional checks #6503: Pull request #5045 synchronize by Amxx
May 15, 2024 16:50 11m 25s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 16:50 11m 25s
GovernorCountingFractional checks #6502: Pull request #5045 synchronize by Amxx
May 15, 2024 16:46 4m 3s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 16:46 4m 3s
GovernorCountingFractional checks #6501: Pull request #5045 synchronize by Amxx
May 15, 2024 14:50 10m 49s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 14:50 10m 49s
GovernorCountingFractional checks #6500: Pull request #5045 synchronize by Amxx
May 15, 2024 14:41 8m 56s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 14:41 8m 56s
GovernorCountingFractional checks #6499: Pull request #5045 synchronize by Amxx
May 15, 2024 13:21 10m 55s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:21 10m 55s
GovernorCountingFractional checks #6498: Pull request #5045 synchronize by Amxx
May 15, 2024 13:12 9m 7s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:12 9m 7s
GovernorCountingFractional checks #6497: Pull request #5045 opened by Amxx
May 15, 2024 13:07 5m 55s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 13:07 5m 55s
Start initial work on ERC4337 interface and helpers checks #6496: Pull request #4991 synchronize by Amxx
May 15, 2024 12:17 10m 56s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
May 15, 2024 12:17 10m 56s
Add Halmos support checks #6495: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:55 10m 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:55 10m 3s
Update crytic/slither-action action to v0.4.0 (#5030) checks #6494: Commit 255e27e pushed by ernestognw
May 14, 2024 20:29 10m 12s master
master
May 14, 2024 20:29 10m 12s
Add Halmos support checks #6493: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:16 11m 17s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:16 11m 17s
Add Halmos support checks #6492: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:11 4m 57s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:11 4m 57s
Add Halmos support checks #6491: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:07 4m 51s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:07 4m 51s
Add Halmos support checks #6490: Pull request #5034 synchronize by ernestognw
May 14, 2024 19:49 10m 41s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 19:49 10m 41s
Add Halmos support checks #6489: Pull request #5034 synchronize by ernestognw
May 14, 2024 18:31 10m 29s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 18:31 10m 29s
develop read-optimized storage checks #6488: Pull request #5044 opened by havi-kim
May 14, 2024 17:34 10m 44s havi-kim:idea_read_optimized_storage
havi-kim:idea_read_optimized_storage
May 14, 2024 17:34 10m 44s