Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

changeset

Actions

Loading...

Show workflow options

Create status badge

3,479 workflow runs
3,479 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add 512bits add and mult operations
changeset #4353: Pull request #5035 opened by Amxx
May 9, 2024 08:30 22s features/full-math
Add Halmos support
changeset #4352: Pull request #5034 labeled by ernestognw
May 8, 2024 19:25 2s ernestognw:chore/use-halmos
Add Halmos support
changeset #4351: Pull request #5034 synchronize by ernestognw
May 8, 2024 19:17 27s ernestognw:chore/use-halmos
Add Halmos support
changeset #4350: Pull request #5034 opened by ernestognw
May 8, 2024 19:17 24s ernestognw:chore/use-halmos