Skip to content
Sonar analysis

apply witness edge filtering partially works #2007

Sign in to view logs

apply witness edge filtering partially works

apply witness edge filtering partially works #2007

Triggered via push February 23, 2025 19:28
@AdamZsofiAdamZsofi
pushed f944598
nontermination-witnesses
Status Failure
Total duration 17m 4s
Artifacts –

sonar.yml

on: push
run-sonar
16m 54s
run-sonar
Fit to window
Zoom out
Zoom in

Annotations

1 error
run-sonar
Gradle build failed: see console output for details