Skip to content

Delete generated registry at the end of the script - allows for local… #203

Delete generated registry at the end of the script - allows for local…

Delete generated registry at the end of the script - allows for local… #203

Triggered via push August 23, 2024 11:44
Status Success
Total duration 5m 29s
Artifacts

main.yaml

on: push
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
linting: contracts/contracts/Adjudicator.sol#L31
Function order is incorrect, state variable declaration can not go after event definition (line 25)
linting: contracts/contracts/Adjudicator.sol#L37
Main key parameter in mapping penaltyHistory is not named
linting: contracts/contracts/Adjudicator.sol#L37
Value parameter in mapping penaltyHistory is not named
linting: contracts/contracts/Adjudicator.sol#L38
Main key parameter in mapping evaluatedCFrags is not named
linting: contracts/contracts/Adjudicator.sol#L38
Value parameter in mapping evaluatedCFrags is not named
linting: contracts/contracts/Adjudicator.sol#L53
GC: Use Custom Errors instead of require statements
linting: contracts/contracts/Adjudicator.sol#L90
GC: Use Custom Errors instead of require statements
linting: contracts/contracts/Adjudicator.sol#L102
GC: Use Custom Errors instead of require statements
linting: contracts/contracts/Adjudicator.sol#L106
GC: Use Custom Errors instead of require statements
linting: contracts/contracts/Adjudicator.sol#L114
GC: Use Custom Errors instead of require statements
tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/