Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 lint workflows #631: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:16 15s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:16 15s
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 lint workflows #630: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:11 19s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:11 19s
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
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 changeset #4379: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:11 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:11 2s
Add Halmos support lint workflows #629: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:07 19s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:07 19s
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 formal verification #4133: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:07 38s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:07 38s
Add Halmos support changeset #4378: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:07 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:07 3s
Add Halmos support changeset #4377: Pull request #5034 synchronize by ernestognw
May 14, 2024 19:49 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 19:49 3s
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 lint workflows #628: Pull request #5034 synchronize by ernestognw
May 14, 2024 19:49 21s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 19:49 21s
Add Halmos support formal verification #4132: Pull request #5034 synchronize by ernestognw
May 14, 2024 19:49 58s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 19:49 58s
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