Path does not exist: sarif-report.json

'false'

Process completed with exit code 1.

'false'

Process completed with exit code 1.

Resource not accessible by integration

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/[email protected], 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/.

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/

Resource not accessible by integration

Resource not accessible by integration

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, JetBrains/[email protected], 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/.

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/

Resource not accessible by integration

This run of the CodeQL Action does not have permission to access Code Scanning API endpoints. As a result, it will not be opted into any experimental features. This could be because the Action is running on a pull request from a fork. If not, please ensure the Action has the 'security-events: write' permission. Details: Resource not accessible by integration

Resource not accessible by integration

Resource not accessible by integration

`compare()` called on itself

`compareToIgnoreCase()` called on itself

`compare()` called on itself

`compare()` called on itself

'finalize()' should not be overridden

'finalize()' should not be overridden

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "qodana-report". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

'finalize()' should not be overridden

`switch (response) { case YES_THIS_INSTANCE -> { // handle this b...` statement on enum type 'de.uka.ilkd.key.smt.newsmt2.SMTHandler.Capability' misses case 'UNABLE'

String values are compared using `==`, not 'equals()'

String values are compared using `!=`, not 'equals()'

Duplicate branch in 'switch'

Branch in 'switch' is a duplicate of the default branch

Branch in 'switch' is a duplicate of the default branch

Branch in 'switch' is a duplicate of the default branch

Duplicate branch in 'switch'

Duplicate branch in 'switch'

Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`

Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`

Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`