Resource not accessible by integration

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

'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()'

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/

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()`