Isabelle Translation #2665
BookWood7thcode_quality.yml
on: pull_request
checkerFramework
1m 41s
qodana
39s
formatting
50s
checkstyle_new
1m 13s
pmd
1m 13s
Annotations
7 errors
|
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.
|
|
pmd
Process completed with exit code 1.
|
|
checkstyle_new
Path does not exist: sarif-report.json
|
|
checkstyle_new
Process completed with exit code 1.
|
|
checkerFramework
Process completed with exit code 1.
|