refactor: Resolving unchecked-cast warnings in ContractVerifier #2747
qodana.yml
on: pull_request
code-quality qodana
2m 40s
code-quality spoon-javadoc qodana
2m 59s
code-quality spoon-controlflow qodana
2m 43s
Annotations
9 warnings
code-quality qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality spoon-controlflow qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality spoon-controlflow qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality spoon-controlflow qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality spoon-javadoc qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality spoon-javadoc qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|
code-quality spoon-javadoc qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
|