saving proofs for sequent problems #2561
mattulbrichcode_quality.yml
on: pull_request
checkerFramework
2m 0s
qodana
43s
formatting
58s
checkstyle_new
1m 28s
pmd
1m 35s
Annotations
3 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.
|