Skip to content

Isabelle Translation #2669

Isabelle Translation

Isabelle Translation #2669

Triggered via pull request October 17, 2024 16:59
Status Failure
Total duration 2m 2s
Artifacts

code_quality.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 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
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)