Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12,055 workflow runs
12,055 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Add Halmos support lint workflows #634: Pull request #5034 synchronize by ernestognw
May 17, 2024 17:51 18s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 17:51 18s
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
Add Halmos support changeset #4396: Pull request #5034 synchronize by ernestognw
May 17, 2024 17:51 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 17, 2024 17:51 3s
Fix typo in GovernorVotesQuorumFraction.test.js (#5041) transpile upgradeable #1167: Commit d947fb0 pushed by Amxx
May 17, 2024 13:24 58s master
master
May 17, 2024 13:24 58s
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
Fix typo in GovernorVotesQuorumFraction.test.js changeset #4395: Pull request #5041 labeled by Amxx
May 17, 2024 13:23 2s bodhi-crypo:master
bodhi-crypo:master
May 17, 2024 13:23 2s
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 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
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
GovernorCountingFractional changeset #4394: Pull request #5045 synchronize by Amxx
May 16, 2024 15:45 29s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 16, 2024 15:45 29s
develop read-optimized storage changeset #4393: Pull request #5044 synchronize by havi-kim
May 16, 2024 13:44 29s havi-kim:idea_read_optimized_storage
havi-kim:idea_read_optimized_storage
May 16, 2024 13:44 29s
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
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
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
GovernorCountingFractional changeset #4392: Pull request #5045 synchronize by Amxx
May 16, 2024 07:09 40s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 16, 2024 07:09 40s
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
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
Update dependency certora-cli to v7 changeset #4391: Pull request #4957 synchronize by renovate bot
May 15, 2024 18:57 3s renovate/certora-cli-7.x
renovate/certora-cli-7.x
May 15, 2024 18:57 3s
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 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 changeset #4390: Pull request #5045 synchronize by Amxx
May 15, 2024 16:50 32s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 16:50 32s
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 changeset #4389: Pull request #5045 synchronize by Amxx
May 15, 2024 16:46 24s Amxx:feature/governor-counting-fractional
Amxx:feature/governor-counting-fractional
May 15, 2024 16:46 24s