Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update Error Handling in Create2 Deployment by Bubbling Up Revert Reasons formal verification #4165: Pull request #5052 opened by dimitriospapathanasiou
May 22, 2024 21:52 13s dimitriospapathanasiou:feature/fix-issue-#5046
dimitriospapathanasiou:feature/fix-issue-#5046
May 22, 2024 21:52 13s
Update Error Handling in Create2 Deployment by Bubbling Up Revert Reasons checks #6522: Pull request #5052 opened by dimitriospapathanasiou
May 22, 2024 21:52 10m 41s dimitriospapathanasiou:feature/fix-issue-#5046
dimitriospapathanasiou:feature/fix-issue-#5046
May 22, 2024 21:52 10m 41s
Update Error Handling in Create2 Deployment by Bubbling Up Revert Reasons changeset #4410: Pull request #5052 opened by dimitriospapathanasiou
May 22, 2024 21:52 29s dimitriospapathanasiou:feature/fix-issue-#5046
dimitriospapathanasiou:feature/fix-issue-#5046
May 22, 2024 21:52 29s
Add Halmos support formal verification #4164: Pull request #5034 synchronize by ernestognw
May 22, 2024 16:04 59s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 16:04 59s
Add Halmos support lint workflows #642: Pull request #5034 synchronize by ernestognw
May 22, 2024 16:04 17s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 16:04 17s
Add Halmos support checks #6521: Pull request #5034 synchronize by ernestognw
May 22, 2024 16:04 10m 27s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 16:04 10m 27s
Add Halmos support changeset #4409: Pull request #5034 synchronize by ernestognw
May 22, 2024 16:04 4s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 16:04 4s
Add Halmos support changeset #4408: Pull request #5034 synchronize by Amxx
May 22, 2024 13:15 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 13:15 3s
Add Halmos support checks #6520: Pull request #5034 synchronize by Amxx
May 22, 2024 13:15 10m 12s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 13:15 10m 12s
Add Halmos support lint workflows #641: Pull request #5034 synchronize by Amxx
May 22, 2024 13:15 21s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 13:15 21s
Add Halmos support formal verification #4163: Pull request #5034 synchronize by Amxx
May 22, 2024 13:15 1m 0s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 13:15 1m 0s
Add Halmos support formal verification #4162: Pull request #5034 synchronize by Amxx
May 22, 2024 12:55 57s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 12:55 57s
Add Halmos support changeset #4407: Pull request #5034 synchronize by Amxx
May 22, 2024 12:55 3s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 12:55 3s
Add Halmos support lint workflows #640: Pull request #5034 synchronize by Amxx
May 22, 2024 12:55 15s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 12:55 15s
Add Halmos support checks #6519: Pull request #5034 synchronize by Amxx
May 22, 2024 12:55 10m 24s ernestognw:chore/use-halmos
ernestognw:chore/use-halmos
May 22, 2024 12:55 10m 24s
Procedurally generate packing libraries formal verification #4161: Pull request #5051 synchronize by ernestognw
May 21, 2024 22:12 12s ernestognw:chore/extend-packing
ernestognw:chore/extend-packing
May 21, 2024 22:12 12s
Procedurally generate packing libraries checks #6518: Pull request #5051 synchronize by ernestognw
May 21, 2024 22:12 10m 43s ernestognw:chore/extend-packing
ernestognw:chore/extend-packing
May 21, 2024 22:12 10m 43s
Procedurally generate packing libraries changeset #4406: Pull request #5051 synchronize by ernestognw
May 21, 2024 22:12 30s ernestognw:chore/extend-packing
ernestognw:chore/extend-packing
May 21, 2024 22:12 30s
Procedurally generate packing libraries checks #6517: Pull request #5051 opened by ernestognw
May 21, 2024 22:10 2m 43s ernestognw:chore/extend-packing
ernestognw:chore/extend-packing
May 21, 2024 22:10 2m 43s
Procedurally generate packing libraries changeset #4405: Pull request #5051 opened by ernestognw
May 21, 2024 22:10 24s ernestognw:chore/extend-packing
ernestognw:chore/extend-packing
May 21, 2024 22:10 24s
Procedurally generate packing libraries formal verification #4160: Pull request #5051 opened by ernestognw
May 21, 2024 22:10 14s ernestognw:chore/extend-packing
ernestognw:chore/extend-packing
May 21, 2024 22:10 14s
Start initial work on ERC4337 interface and helpers checks #6516: Pull request #4991 synchronize by Amxx
May 21, 2024 11:09 10m 31s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
May 21, 2024 11:09 10m 31s
Start initial work on ERC4337 interface and helpers formal verification #4159: Pull request #4991 synchronize by Amxx
May 21, 2024 11:09 14s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
May 21, 2024 11:09 14s
Start initial work on ERC4337 interface and helpers lint workflows #639: Pull request #4991 synchronize by Amxx
May 21, 2024 11:09 16s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
May 21, 2024 11:09 16s
Start initial work on ERC4337 interface and helpers changeset #4404: Pull request #4991 synchronize by Amxx
May 21, 2024 11:09 25s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
May 21, 2024 11:09 25s