Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,322 workflow runs
9,322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor EnumerableSet and EnumerableMap to support more types formal verification #6281: Pull request #5558 synchronize by Amxx
March 5, 2025 21:16 1m 25s Amxx:refactor/enumerable
Amxx:refactor/enumerable
March 5, 2025 21:16 1m 25s
Refactor EnumerableSet and EnumerableMap to support more types checks #8584: Pull request #5558 synchronize by Amxx
March 5, 2025 21:16 1m 43s Amxx:refactor/enumerable
Amxx:refactor/enumerable
March 5, 2025 21:16 1m 43s
Refactor EnumerableSet and EnumerableMap to support more types changeset #6264: Pull request #5558 synchronize by Amxx
March 5, 2025 21:16 29s Amxx:refactor/enumerable
Amxx:refactor/enumerable
March 5, 2025 21:16 29s
improve clarity, grammar and fix typo across documentation formal verification #6279: Pull request #5556 opened by Alex-Roleks
March 5, 2025 18:28 1m 11s Alex-Roleks:fix-issues
Alex-Roleks:fix-issues
March 5, 2025 18:28 1m 11s
improve clarity, grammar and fix typo across documentation changeset #6262: Pull request #5556 opened by Alex-Roleks
March 5, 2025 18:28 27s Alex-Roleks:fix-issues
Alex-Roleks:fix-issues
March 5, 2025 18:28 27s
improve clarity, grammar and fix typo across documentation checks #8582: Pull request #5556 opened by Alex-Roleks
March 5, 2025 18:28 17m 43s Alex-Roleks:fix-issues
Alex-Roleks:fix-issues
March 5, 2025 18:28 17m 43s
WIP: Add Linked List Struct checks #8581: Pull request #5555 synchronize by arr00
March 5, 2025 14:59 18m 39s arr00:feat/linked-list
arr00:feat/linked-list
March 5, 2025 14:59 18m 39s
WIP: Add Linked List Struct changeset #6261: Pull request #5555 synchronize by arr00
March 5, 2025 14:59 26s arr00:feat/linked-list
arr00:feat/linked-list
March 5, 2025 14:59 26s
WIP: Add Linked List Struct formal verification #6278: Pull request #5555 synchronize by arr00
March 5, 2025 14:59 1m 14s arr00:feat/linked-list
arr00:feat/linked-list
March 5, 2025 14:59 1m 14s
WIP: Add Linked List Struct changeset #6260: Pull request #5555 opened by arr00
March 5, 2025 14:58 25s arr00:feat/linked-list
arr00:feat/linked-list
March 5, 2025 14:58 25s
WIP: Add Linked List Struct formal verification #6277: Pull request #5555 opened by arr00
March 5, 2025 14:58 1m 10s arr00:feat/linked-list
arr00:feat/linked-list
March 5, 2025 14:58 1m 10s
WIP: Add Linked List Struct checks #8580: Pull request #5555 opened by arr00
March 5, 2025 14:58 1m 26s arr00:feat/linked-list
arr00:feat/linked-list
March 5, 2025 14:58 1m 26s
feat: add mock contract boilerplate for testing changeset #6259: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:40 22s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:40 22s
feat: add mock contract boilerplate for testing checks #8579: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:40 13m 54s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:40 13m 54s
feat: add mock contract boilerplate for testing formal verification #6276: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:40 56s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:40 56s
feat: add mock contract boilerplate for testing checks #8578: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:34 6m 12s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:34 6m 12s
feat: add mock contract boilerplate for testing changeset #6258: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:34 23s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:34 23s
feat: add mock contract boilerplate for testing formal verification #6275: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:34 59s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:34 59s
feat: add mock contract boilerplate for testing formal verification #6274: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:18 1m 0s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:18 1m 0s
feat: add mock contract boilerplate for testing checks #8577: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:18 13m 44s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:18 13m 44s
feat: add mock contract boilerplate for testing changeset #6257: Pull request #5554 synchronize by sivaratrisrinivas
March 5, 2025 05:18 28s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 05:18 28s
feat: add mock contract boilerplate for testing formal verification #6273: Pull request #5554 opened by sivaratrisrinivas
March 5, 2025 04:50 1m 26s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 04:50 1m 26s
feat: add mock contract boilerplate for testing checks #8576: Pull request #5554 opened by sivaratrisrinivas
March 5, 2025 04:50 14m 10s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 04:50 14m 10s
feat: add mock contract boilerplate for testing changeset #6256: Pull request #5554 opened by sivaratrisrinivas
March 5, 2025 04:50 48s sivaratrisrinivas:feature/mock-token-boilerplate
sivaratrisrinivas:feature/mock-token-boilerplate
March 5, 2025 04:50 48s
Improve clarity in utilities.adoc checks #8575: Pull request #5553 opened by Pricstas
March 4, 2025 14:24 19m 9s Pricstas:fix/update
Pricstas:fix/update
March 4, 2025 14:24 19m 9s