Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,315 workflow runs
8,315 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update EIP712 upgradeable patch file formal verification #6721: Pull request #5690 synchronize by ernestognw
May 22, 2025 18:00 1m 1s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 22, 2025 18:00 1m 1s
Update EIP712 upgradeable patch file checks #9001: Pull request #5690 synchronize by ernestognw
May 22, 2025 18:00 12m 2s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 22, 2025 18:00 12m 2s
Update EIP712 upgradeable patch file changeset #6658: Pull request #5690 synchronize by ernestognw
May 22, 2025 18:00 30s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 22, 2025 18:00 30s
Update EIP712 upgradeable patch file changeset #6657: Pull request #5690 synchronize by ernestognw
May 22, 2025 17:58 24s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 22, 2025 17:58 24s
Update EIP712 upgradeable patch file formal verification #6720: Pull request #5690 synchronize by ernestognw
May 22, 2025 17:58 52s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 22, 2025 17:58 52s
Update EIP712 upgradeable patch file checks #9000: Pull request #5690 synchronize by ernestognw
May 22, 2025 17:58 2m 39s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 22, 2025 17:58 2m 39s
Update AccessControl.sol formal verification #6719: Pull request #5694 opened by raymondabiola
May 22, 2025 10:56 1m 9s raymondabiola:patch-1
raymondabiola:patch-1
May 22, 2025 10:56 1m 9s
Update AccessControl.sol checks #8999: Pull request #5694 opened by raymondabiola
May 22, 2025 10:56 9m 16s raymondabiola:patch-1
raymondabiola:patch-1
May 22, 2025 10:56 9m 16s
Update AccessControl.sol changeset #6656: Pull request #5694 opened by raymondabiola
May 22, 2025 10:56 22s raymondabiola:patch-1
raymondabiola:patch-1
May 22, 2025 10:56 22s
Update EIP712 upgradeable patch file changeset #6655: Pull request #5690 synchronize by naevern
May 21, 2025 01:15 23s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 21, 2025 01:15 23s
Update EIP712 upgradeable patch file checks #8998: Pull request #5690 synchronize by naevern
May 21, 2025 01:15 11m 12s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 21, 2025 01:15 11m 12s
Update EIP712 upgradeable patch file formal verification #6718: Pull request #5690 synchronize by naevern
May 21, 2025 01:15 1m 1s naevern:fix/eip712-upgradeable-comment
naevern:fix/eip712-upgradeable-comment
May 21, 2025 01:15 1m 1s
Group typo fixes 3 formal verification #6717: Pull request #5631 synchronize by arr00
May 18, 2025 23:31 1m 2s typo-fixes
typo-fixes
May 18, 2025 23:31 1m 2s
Group typo fixes 3 checks #8997: Pull request #5631 synchronize by arr00
May 18, 2025 23:31 11m 17s typo-fixes
typo-fixes
May 18, 2025 23:31 11m 17s
Group typo fixes 3 changeset #6654: Pull request #5631 synchronize by arr00
May 18, 2025 23:31 2s typo-fixes
typo-fixes
May 18, 2025 23:31 2s
Fix typo in checkpoints optimised -> optimized formal verification #6716: Pull request #5692 reopened by arr00
May 18, 2025 23:30 1m 36s arr00:chore/checkpoints-typo
arr00:chore/checkpoints-typo
May 18, 2025 23:30 1m 36s
Fix typo in checkpoints optimised -> optimized checks #8996: Pull request #5692 reopened by arr00
May 18, 2025 23:30 11m 30s arr00:chore/checkpoints-typo
arr00:chore/checkpoints-typo
May 18, 2025 23:30 11m 30s
Group typo fixes 3 checks #8995: Pull request #5631 synchronize by arr00
May 18, 2025 23:30 1m 7s typo-fixes
typo-fixes
May 18, 2025 23:30 1m 7s
Group typo fixes 3 formal verification #6715: Pull request #5631 synchronize by arr00
May 18, 2025 23:30 1m 3s typo-fixes
typo-fixes
May 18, 2025 23:30 1m 3s
Group typo fixes 3 changeset #6653: Pull request #5631 synchronize by arr00
May 18, 2025 23:30 3s typo-fixes
typo-fixes
May 18, 2025 23:30 3s
Fix typo in checkpoints optimised -> optimized formal verification #6714: Pull request #5692 opened by arr00
May 18, 2025 23:30 1m 14s arr00:chore/checkpoints-typo
arr00:chore/checkpoints-typo
May 18, 2025 23:30 1m 14s
Fix typo in checkpoints optimised -> optimized checks #8994: Pull request #5692 opened by arr00
May 18, 2025 23:30 48s arr00:chore/checkpoints-typo
arr00:chore/checkpoints-typo
May 18, 2025 23:30 48s
feat: add ERC7572 interface for contracts that expose contract level metadata formal verification #6713: Pull request #5686 synchronize by coffeexcoin
May 18, 2025 19:49 53s coffeexcoin:eip-7572
coffeexcoin:eip-7572
May 18, 2025 19:49 53s
feat: add ERC7572 interface for contracts that expose contract level metadata checks #8993: Pull request #5686 synchronize by coffeexcoin
May 18, 2025 19:49 11m 10s coffeexcoin:eip-7572
coffeexcoin:eip-7572
May 18, 2025 19:49 11m 10s
feat: add ERC7572 interface for contracts that expose contract level metadata changeset #6652: Pull request #5686 synchronize by coffeexcoin
May 18, 2025 19:49 24s coffeexcoin:eip-7572
coffeexcoin:eip-7572
May 18, 2025 19:49 24s