Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update FV specs and script changeset #7550: Pull request #5786 synchronize by Amxx
August 18, 2025 16:17 1s Amxx:FV/update
Amxx:FV/update
August 18, 2025 16:17 1s
Update FV specs and script formal verification #7657: Pull request #5786 synchronize by Amxx
August 18, 2025 16:17 6m 20s Amxx:FV/update
Amxx:FV/update
August 18, 2025 16:17 6m 20s
Update FV specs and script lint workflows #875: Pull request #5786 synchronize by Amxx
August 18, 2025 16:17 10s Amxx:FV/update
Amxx:FV/update
August 18, 2025 16:17 10s
Update FV specs and script checks #9898: Pull request #5786 synchronize by Amxx
August 18, 2025 16:17 13m 6s Amxx:FV/update
Amxx:FV/update
August 18, 2025 16:17 13m 6s
Update FV specs and script changeset #7549: Pull request #5786 synchronize by Amxx
August 18, 2025 15:05 2s Amxx:FV/update
Amxx:FV/update
August 18, 2025 15:05 2s
Update FV specs and script checks #9897: Pull request #5786 synchronize by Amxx
August 18, 2025 15:05 18m 14s Amxx:FV/update
Amxx:FV/update
August 18, 2025 15:05 18m 14s
Update FV specs and script formal verification #7656: Pull request #5786 synchronize by Amxx
August 18, 2025 15:05 6m 37s Amxx:FV/update
Amxx:FV/update
August 18, 2025 15:05 6m 37s
Update FV specs and script lint workflows #874: Pull request #5786 synchronize by Amxx
August 18, 2025 15:05 12s Amxx:FV/update
Amxx:FV/update
August 18, 2025 15:05 12s
Update FV specs and script checks #9896: Pull request #5786 synchronize by Amxx
August 18, 2025 14:52 18m 25s Amxx:FV/update
Amxx:FV/update
August 18, 2025 14:52 18m 25s
Update FV specs and script lint workflows #873: Pull request #5786 synchronize by Amxx
August 18, 2025 14:52 29s Amxx:FV/update
Amxx:FV/update
August 18, 2025 14:52 29s
Update FV specs and script changeset #7548: Pull request #5786 synchronize by Amxx
August 18, 2025 14:52 1s Amxx:FV/update
Amxx:FV/update
August 18, 2025 14:52 1s
Update FV specs and script formal verification #7655: Pull request #5786 synchronize by Amxx
August 18, 2025 14:52 6m 40s Amxx:FV/update
Amxx:FV/update
August 18, 2025 14:52 6m 40s
Add Certora syntax highlighting checks #9895: Pull request #5861 synchronize by james-toussaint
August 18, 2025 09:48 14m 18s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:48 14m 18s
Add Certora syntax highlighting changeset #7547: Pull request #5861 synchronize by james-toussaint
August 18, 2025 09:48 1s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:48 1s
Add Certora syntax highlighting formal verification #7654: Pull request #5861 synchronize by james-toussaint
August 18, 2025 09:48 7m 45s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:48 7m 45s
Add Certora syntax highlighting formal verification #7653: Pull request #5861 opened by james-toussaint
August 18, 2025 09:43 4m 51s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:43 4m 51s
Add Certora syntax highlighting checks #9894: Pull request #5861 opened by james-toussaint
August 18, 2025 09:43 5m 8s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:43 5m 8s
Add Certora syntax highlighting changeset #7546: Pull request #5861 opened by james-toussaint
August 18, 2025 09:43 Skipped james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:43 Skipped
Add Certora syntax highlighting formal verification #7652: Pull request #5861 labeled by james-toussaint
August 18, 2025 09:43 6m 20s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:43 6m 20s
Add Certora syntax highlighting changeset #7545: Pull request #5861 labeled by james-toussaint
August 18, 2025 09:43 1s james-toussaint:chore/certora-syntax-highlighting
james-toussaint:chore/certora-syntax-highlighting
August 18, 2025 09:43 1s
Formal verification of Account (7702+7579) lint workflows #872: Pull request #5785 synchronize by Amxx
August 18, 2025 08:38 14s Amxx:FV/account
Amxx:FV/account
August 18, 2025 08:38 14s
Formal verification of Account (7702+7579) changeset #7544: Pull request #5785 synchronize by Amxx
August 18, 2025 08:38 1s Amxx:FV/account
Amxx:FV/account
August 18, 2025 08:38 1s
Formal verification of Account (7702+7579) checks #9893: Pull request #5785 synchronize by Amxx
August 18, 2025 08:38 12m 55s Amxx:FV/account
Amxx:FV/account
August 18, 2025 08:38 12m 55s
Formal verification of Account (7702+7579) formal verification #7651: Pull request #5785 synchronize by Amxx
August 18, 2025 08:38 6m 9s Amxx:FV/account
Amxx:FV/account
August 18, 2025 08:38 6m 9s
docs(ERC20): link ERC20Votes to governance guide minimal example formal verification #7650: Pull request #5860 opened by anil2ec4
August 18, 2025 00:44 6m 37s anil2ec4:docs/erc20votes-link
anil2ec4:docs/erc20votes-link
August 18, 2025 00:44 6m 37s