Isabelle Translation #2679
Annotations
2 errors and 3 warnings
|
Run github/codeql-action/upload-sarif@v3
Path does not exist: /home/runner/work/_temp/qodana/results/qodana.sarif.json
|
|
Qodana Scan
qodana scan failed with exit code 1
|
|
Qodana Scan
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
|
Qodana Scan
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
|
Qodana Scan
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
Loading