Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a governance extension that implements super quorum formal verification #6036: Pull request #5492 synchronize by 0xmichalis
February 7, 2025 12:45 1m 2s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 7, 2025 12:45 1m 2s
Add a governance extension that implements super quorum changeset #6068: Pull request #5492 synchronize by 0xmichalis
February 7, 2025 12:45 30s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 7, 2025 12:45 30s
Add a governance extension that implements super quorum formal verification #6035: Pull request #5492 opened by 0xmichalis
February 7, 2025 12:08 1m 8s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 7, 2025 12:08 1m 8s
Add a governance extension that implements super quorum checks #8359: Pull request #5492 opened by 0xmichalis
February 7, 2025 12:08 15m 54s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 7, 2025 12:08 15m 54s
Add a governance extension that implements super quorum changeset #6067: Pull request #5492 opened by 0xmichalis
February 7, 2025 12:08 23s 0xmichalis:governance-super-quorum
0xmichalis:governance-super-quorum
February 7, 2025 12:08 23s
Update dependency certora-cli to v7 checks #8358: Pull request #4957 synchronize by renovate bot
February 5, 2025 18:07 15m 22s renovate/certora-cli-7.x
renovate/certora-cli-7.x
February 5, 2025 18:07 15m 22s
Update dependency certora-cli to v7 changeset #6066: Pull request #4957 synchronize by renovate bot
February 5, 2025 18:07 6s renovate/certora-cli-7.x
renovate/certora-cli-7.x
February 5, 2025 18:07 6s
Update dependency certora-cli to v7 formal verification #6034: Pull request #4957 synchronize by renovate bot
February 5, 2025 18:07 1m 16s renovate/certora-cli-7.x
renovate/certora-cli-7.x
February 5, 2025 18:07 1m 16s
fix spelling issue checks #8357: Pull request #5490 opened by moooonman
February 5, 2025 15:03 14m 45s moooonman:master
moooonman:master
February 5, 2025 15:03 14m 45s
fix spelling issue formal verification #6033: Pull request #5490 opened by moooonman
February 5, 2025 15:03 1m 11s moooonman:master
moooonman:master
February 5, 2025 15:03 1m 11s
fix spelling issue changeset #6065: Pull request #5490 opened by moooonman
February 5, 2025 15:03 33s moooonman:master
moooonman:master
February 5, 2025 15:03 33s
Add clear function to Enumerable{Set,Map} changeset #6064: Pull request #5486 synchronize by Amxx
February 4, 2025 19:42 24s arr00:feat/clear-enumerable-set
arr00:feat/clear-enumerable-set
February 4, 2025 19:42 24s
Add clear function to Enumerable{Set,Map} formal verification #6032: Pull request #5486 synchronize by Amxx
February 4, 2025 19:42 56s arr00:feat/clear-enumerable-set
arr00:feat/clear-enumerable-set
February 4, 2025 19:42 56s
Add clear function to Enumerable{Set,Map} checks #8356: Pull request #5486 synchronize by Amxx
February 4, 2025 19:42 15m 25s arr00:feat/clear-enumerable-set
arr00:feat/clear-enumerable-set
February 4, 2025 19:42 15m 25s
Add Bytes32x2Set (#5442) transpile upgradeable #1377: Commit 441dc14 pushed by Amxx
February 4, 2025 19:30 1m 37s master
master
February 4, 2025 19:30 1m 37s
Add Bytes32x2Set (#5442) checks #8355: Commit 441dc14 pushed by Amxx
February 4, 2025 19:30 14m 57s master
master
February 4, 2025 19:30 14m 57s
Add Bytes32x2Set checks #8354: Pull request #5442 synchronize by Amxx
February 4, 2025 19:16 15m 35s Amxx:feature/memory_set
Amxx:feature/memory_set
February 4, 2025 19:16 15m 35s
Add Bytes32x2Set formal verification #6031: Pull request #5442 synchronize by Amxx
February 4, 2025 19:16 1m 9s Amxx:feature/memory_set
Amxx:feature/memory_set
February 4, 2025 19:16 1m 9s
Add Bytes32x2Set changeset #6063: Pull request #5442 synchronize by Amxx
February 4, 2025 19:16 25s Amxx:feature/memory_set
Amxx:feature/memory_set
February 4, 2025 19:16 25s
Group typo fixes formal verification #6030: Pull request #5466 synchronize by Amxx
February 4, 2025 19:14 56s typo-fixes
typo-fixes
February 4, 2025 19:14 56s
Group typo fixes checks #8353: Pull request #5466 synchronize by Amxx
February 4, 2025 19:14 15m 36s typo-fixes
typo-fixes
February 4, 2025 19:14 15m 36s
Group typo fixes lint workflows #754: Pull request #5466 synchronize by Amxx
February 4, 2025 19:14 19s typo-fixes
typo-fixes
February 4, 2025 19:14 19s
Group typo fixes changeset #6062: Pull request #5466 synchronize by Amxx
February 4, 2025 19:14 3s typo-fixes
typo-fixes
February 4, 2025 19:14 3s
fix spelling errors formal verification #6029: Pull request #5489 synchronize by Amxx
February 4, 2025 19:13 1m 8s JohnBonny:master
JohnBonny:master
February 4, 2025 19:13 1m 8s
fix spelling errors checks #8352: Pull request #5489 synchronize by Amxx
February 4, 2025 19:13 15m 40s JohnBonny:master
JohnBonny:master
February 4, 2025 19:13 15m 40s