Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add Halmos support changeset #4366: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:47 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:47 2s
Add Halmos support checks #6478: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:47 10m 45s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:47 10m 45s
Add Halmos support lint workflows #621: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:47 18s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:47 18s
Add Halmos support formal verification #4121: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:47 1m 8s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:47 1m 8s
Add Halmos support changeset #4365: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:35 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:35 2s
Add Halmos support lint workflows #620: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:35 21s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:35 21s
Add Halmos support formal verification #4120: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:35 54s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:35 54s
Add Halmos support checks #6477: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:35 11m 8s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:35 11m 8s
Add Halmos support changeset #4364: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:32 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:32 2s
Add Halmos support formal verification #4119: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:32 59s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:32 59s
Add Halmos support lint workflows #619: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:32 13s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:32 13s
Add Halmos support checks #6476: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:32 3m 17s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:32 3m 17s
Add Halmos support formal verification #4118: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:29 57s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:29 57s
Add Halmos support checks #6475: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:29 3m 14s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:29 3m 14s
Add Halmos support lint workflows #618: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:29 18s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:29 18s
Add Halmos support changeset #4363: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:29 2s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:29 2s
Add Halmos support lint workflows #617: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:26 19s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:26 19s
Add Halmos support changeset #4362: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:26 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:26 3s
Add Halmos support formal verification #4117: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:26 16s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:26 16s
Add Halmos support checks #6474: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:26 3m 4s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:26 3m 4s
Add Halmos support formal verification #4116: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:21 12s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:21 12s
Add Halmos support changeset #4361: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:21 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:21 3s
Add Halmos support checks #6473: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:21 6m 1s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:21 6m 1s
Add Halmos support lint workflows #616: Pull request #5034 synchronize by ernestognw
May 13, 2024 19:21 13s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 13, 2024 19:21 13s
Fix Typo in Math.sol (#5033) checks #6472: Commit 05d4bf5 pushed by ernestognw
May 13, 2024 15:33 10m 40s master
master
May 13, 2024 15:33 10m 40s