Skip to content

Actions: Amxx/openzeppelin-contracts

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused _hashedName and _hashedVersion from upgradeable formal verification #21: Pull request #17 opened by arr00
6m 57s arr00:chore/remove-unused-hashed-values
arr00:chore/remove-unused-hashed-values
6m 57s
Fix grammar 712 upgradeable formal verification #20: Pull request #16 opened by arr00
6m 38s arr00:nit/spelling-eip712-upgradeable
arr00:nit/spelling-eip712-upgradeable
6m 38s
Change error param to bytes1 formal verification #19: Pull request #15 synchronize by Amxx
55s arr00:chore/change-base64-error
arr00:chore/change-base64-error
55s
Change error param to bytes1 formal verification #18: Pull request #15 opened by arr00
57s arr00:chore/change-base64-error
arr00:chore/change-base64-error
57s
use _validateCancel instead of overriding cancel formal verification #17: Pull request #10 synchronize by arr00
1m 27s arr00:refactor/cancel-validate-cancel
arr00:refactor/cancel-validate-cancel
1m 27s