Isabelle Translation #2678
BookWood7thcode_quality.yml
on: pull_request
checkerFramework
1m 53s
qodana
41s
formatting
50s
checkstyle_new
1m 31s
pmd
1m 26s
Annotations
3 errors and 3 warnings
|
qodana
Path does not exist: /home/runner/work/_temp/qodana/results/qodana.sarif.json
|
|
qodana
qodana scan failed with exit code 1
|
|
formatting
Process completed with exit code 1.
|
|
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
|
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
|
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|