Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add Halmos support changeset #4381: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:55 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:55 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
Update crytic/slither-action action to v0.4.0 (#5030) transpile upgradeable #1166: Commit 255e27e pushed by ernestognw
May 14, 2024 20:29 56s master
master
May 14, 2024 20:29 56s
Add Halmos support changeset #4380: Pull request #5034 synchronize by ernestognw
May 14, 2024 20:16 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 14, 2024 20:16 2s
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