Skip to content
Sonar analysis

Changed some visitor parameters #219

Sign in to view logs

Changed some visitor parameters

Changed some visitor parameters #219

Triggered via push August 5, 2023 11:55
@AdamZsofiAdamZsofi
pushed 5077d3b
btor2-frontend
Status Failure
Total duration 6m 40s
Artifacts –

sonar.yml

on: push
run-sonar
6m 31s
run-sonar
Fit to window
Zoom out
Zoom in

Annotations

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