Skip to content

Isabelle Translation #2665

Isabelle Translation

Isabelle Translation #2665

Triggered via pull request October 11, 2024 10:58
Status Failure
Total duration 1m 51s
Artifacts

code_quality.yml

on: pull_request
Fit to window
Zoom out
Zoom in

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.