update dependencies, fix certora ci by updating the cli version #27

Summary
Jobs
- tests
- lint
Run details
- Usage
- Workflow file

Annotations

9 warnings

global import of path ./Enum.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

global import of path ./SignatureDecoder.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

Avoid to use tx.origin

Avoid to use inline assembly. It is acceptable only in rare cases

Rule is set with explicit type [var/s: uint]

Avoid to use inline assembly. It is acceptable only in rare cases

global import of path @openzeppelin/contracts/token/ERC20/ERC20.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

update dependencies, fix certora ci by updating the cli version #27

lint

update dependencies, fix certora ci by updating the cli version #27

Jobs

Run details

Annotations

This job succeeded

Re-running jobs...