Abbreviations Manager #2021
wadooncode_quality.yml
on: pull_request
qodana
2m 56s
formatting
1m 0s
checkstyle_new
1m 17s
pmd
1m 12s
Annotations
4 errors and 13 warnings
|
formatting
Gradle build failed: see console output for details
|
|
pmd
Gradle build failed: see console output for details
|
|
checkstyle_new
Path does not exist: sarif-report.json
|
|
checkstyle_new
Gradle build failed: see console output for details
|
|
formatting
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
pmd
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
checkstyle_new
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, github/codeql-action/upload-sarif@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
checkstyle_new
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/
|
|
qodana
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, JetBrains/qodana-action@v2022.3.0, github/codeql-action/upload-sarif@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
qodana
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/actions/useractions/UserAction.java#L23
Non-serializable field 'mediator' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/actions/useractions/UserAction.java#L27
Non-serializable field 'proof' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/CurrentGoalViewMenu.java#L766
Non-serializable field 'solvers' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L92
Non-serializable field 'oldProof' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L360
Non-serializable field 'TRANSFER_ICON' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L76
Non-serializable field 'mediator' in a Serializable class
|
|
Default annotation parameter value:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L55
Redundant default parameter value assignment
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.8 MB |
|