Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add Halmos support formal verification #4131: Pull request #5034 synchronize by ernestognw
May 14, 2024 18:31 1m 0s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 18:31 1m 0s
Add Halmos support changeset #4376: Pull request #5034 synchronize by ernestognw
May 14, 2024 18:31 4s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 18:31 4s
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
Add Halmos support lint workflows #627: Pull request #5034 synchronize by ernestognw
May 14, 2024 18:31 21s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 18:31 21s
develop read-optimized storage formal verification #4130: Pull request #5044 opened by havi-kim
May 14, 2024 17:34 20s havi-kim:idea_read_optimized_storage
havi-kim:idea_read_optimized_storage
May 14, 2024 17:34 20s
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
develop read-optimized storage changeset #4375: Pull request #5044 opened by havi-kim
May 14, 2024 17:34 34s havi-kim:idea_read_optimized_storage
havi-kim:idea_read_optimized_storage
May 14, 2024 17:34 34s
Compatible with 4.0.0, custom proxyAdmin upgrade contract formal verification #4129: Pull request #5043 opened by Smilestate
May 14, 2024 14:14 14s Smilestate:master
Smilestate:master
May 14, 2024 14:14 14s
Compatible with 4.0.0, custom proxyAdmin upgrade contract checks #6487: Pull request #5043 opened by Smilestate
May 14, 2024 14:14 10m 14s Smilestate:master
Smilestate:master
May 14, 2024 14:14 10m 14s
Compatible with 4.0.0, custom proxyAdmin upgrade contract changeset #4374: Pull request #5043 opened by Smilestate
May 14, 2024 14:14 24s Smilestate:master
Smilestate:master
May 14, 2024 14:14 24s
Fix typo in GovernorVotesQuorumFraction.test.js changeset #4373: Pull request #5041 opened by bodhi-crypo
May 14, 2024 08:54 27s bodhi-crypo:master
bodhi-crypo:master
May 14, 2024 08:54 27s
Fix typo in GovernorVotesQuorumFraction.test.js checks #6486: Pull request #5041 opened by bodhi-crypo
May 14, 2024 08:54 10m 13s bodhi-crypo:master
bodhi-crypo:master
May 14, 2024 08:54 10m 13s
Fix typo in GovernorVotesQuorumFraction.test.js formal verification #4128: Pull request #5041 opened by bodhi-crypo
May 14, 2024 08:54 12s bodhi-crypo:master
bodhi-crypo:master
May 14, 2024 08:54 12s
Add Halmos support formal verification #4127: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:15 54s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:15 54s
Add Halmos support checks #6485: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:15 10m 25s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:15 10m 25s
Add Halmos support lint workflows #626: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:15 12s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:15 12s
Add Halmos support changeset #4372: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:15 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:15 2s
Add Halmos support formal verification #4126: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:03 1m 11s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:03 1m 11s
Add Halmos support checks #6484: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:03 10m 32s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:03 10m 32s
Add Halmos support changeset #4371: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:03 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:03 2s
Add Halmos support lint workflows #625: Pull request #5034 synchronize by ernestognw
May 14, 2024 01:03 12s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 01:03 12s
Add Halmos support lint workflows #624: Pull request #5034 synchronize by ernestognw
May 14, 2024 00:53 13s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 00:53 13s
Add Halmos support checks #6483: Pull request #5034 synchronize by ernestognw
May 14, 2024 00:53 9m 54s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 00:53 9m 54s
Add Halmos support formal verification #4125: Pull request #5034 synchronize by ernestognw
May 14, 2024 00:53 1m 7s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 00:53 1m 7s
Add Halmos support changeset #4370: Pull request #5034 synchronize by ernestognw
May 14, 2024 00:53 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 00:53 3s