Skip to content

Actions: OpenZeppelin/openzeppelin-contracts

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12,828 workflow runs
12,828 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Support Saturation Arithmetic Operations formal verification #4088: Pull request #5029 synchronize by Lohann
April 29, 2024 21:42 15s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 21:42 15s
Support Saturation Arithmetic Operations checks #6447: Pull request #5029 synchronize by Lohann
April 29, 2024 21:42 9m 54s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 21:42 9m 54s
Support Saturation Arithmetic Operations changeset #4334: Pull request #5029 synchronize by Lohann
April 29, 2024 21:42 23s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 21:42 23s
Start initial work on ERC4337 interface and helpers formal verification #4087: Pull request #4991 synchronize by Amxx
April 29, 2024 10:40 12s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
April 29, 2024 10:40 12s
Start initial work on ERC4337 interface and helpers checks #6446: Pull request #4991 synchronize by Amxx
April 29, 2024 10:40 11m 1s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
April 29, 2024 10:40 11m 1s
Start initial work on ERC4337 interface and helpers changeset #4333: Pull request #4991 synchronize by Amxx
April 29, 2024 10:40 21s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
April 29, 2024 10:40 21s
Start initial work on ERC4337 interface and helpers formal verification #4086: Pull request #4991 synchronize by Amxx
April 29, 2024 10:19 14s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
April 29, 2024 10:19 14s
Start initial work on ERC4337 interface and helpers checks #6445: Pull request #4991 synchronize by Amxx
April 29, 2024 10:19 3m 25s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
April 29, 2024 10:19 3m 25s
Start initial work on ERC4337 interface and helpers changeset #4332: Pull request #4991 synchronize by Amxx
April 29, 2024 10:19 20s Amxx:erc4337/interfaces-and-helpers
Amxx:erc4337/interfaces-and-helpers
April 29, 2024 10:19 20s
Support Saturation Arithmetic Operations checks #6444: Pull request #5029 synchronize by Lohann
April 29, 2024 06:54 10m 2s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:54 10m 2s
Support Saturation Arithmetic Operations formal verification #4085: Pull request #5029 synchronize by Lohann
April 29, 2024 06:54 16s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:54 16s
Support Saturation Arithmetic Operations changeset #4331: Pull request #5029 synchronize by Lohann
April 29, 2024 06:54 21s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:54 21s
Support Saturation Arithmetic Operations checks #6443: Pull request #5029 synchronize by Lohann
April 29, 2024 06:39 10m 16s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:39 10m 16s
Support Saturation Arithmetic Operations changeset #4330: Pull request #5029 synchronize by Lohann
April 29, 2024 06:39 46s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:39 46s
Support Saturation Arithmetic Operations formal verification #4084: Pull request #5029 synchronize by Lohann
April 29, 2024 06:39 15s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:39 15s
Support Saturation Arithmetic Operations changeset #4329: Pull request #5029 synchronize by Lohann
April 29, 2024 06:26 29s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:26 29s
Support Saturation Arithmetic Operations checks #6442: Pull request #5029 synchronize by Lohann
April 29, 2024 06:26 11m 10s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:26 11m 10s
Support Saturation Arithmetic Operations formal verification #4083: Pull request #5029 synchronize by Lohann
April 29, 2024 06:26 12s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:26 12s
Support Saturation Arithmetic Operations formal verification #4082: Pull request #5029 opened by Lohann
April 29, 2024 06:23 13s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:23 13s
Support Saturation Arithmetic Operations changeset #4328: Pull request #5029 opened by Lohann
April 29, 2024 06:23 23s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:23 23s
Support Saturation Arithmetic Operations checks #6441: Pull request #5029 opened by Lohann
April 29, 2024 06:23 3m 39s Lohann:lpcf/add-saturating-math-operators
Lohann:lpcf/add-saturating-math-operators
April 29, 2024 06:23 3m 39s
Add IERC721MultiMetadata extension formal verification #4081: Pull request #4456 synchronize by 0xGh
April 27, 2024 08:55 15s 0xGh:IERC721MultiMetadata
0xGh:IERC721MultiMetadata
April 27, 2024 08:55 15s
Add IERC721MultiMetadata extension checks #6440: Pull request #4456 synchronize by 0xGh
April 27, 2024 08:55 10m 37s 0xGh:IERC721MultiMetadata
0xGh:IERC721MultiMetadata
April 27, 2024 08:55 10m 37s
Add IERC721MultiMetadata extension changeset #4327: Pull request #4456 synchronize by 0xGh
April 27, 2024 08:55 21s 0xGh:IERC721MultiMetadata
0xGh:IERC721MultiMetadata
April 27, 2024 08:55 21s
Add IERC721MultiMetadata extension checks #6439: Pull request #4456 synchronize by 0xGh
April 27, 2024 08:46 8m 52s 0xGh:IERC721MultiMetadata
0xGh:IERC721MultiMetadata
April 27, 2024 08:46 8m 52s