Skip to content
Qodana

Added subsubsection on the size of CAAUrdleproofs #68

Sign in to view logs

Added subsubsection on the size of CAAUrdleproofs

Added subsubsection on the size of CAAUrdleproofs #68

Triggered via pull request May 27, 2025 06:40
@MaltesiusMaltesius
synchronize #23
proof-size
Status Failure
Total duration 40s
Artifacts –

qodana-code-quality.yaml

on: pull_request
qodana
34s
qodana
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
qodana
qodana scan failed with exit code 1
qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm:latest
qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm:latest
qodana
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm:latest