Skip to content
Check formatting

xcfa to nonterm lasso based on witness works #1929

Sign in to view logs

xcfa to nonterm lasso based on witness works

xcfa to nonterm lasso based on witness works #1929

Triggered via push February 23, 2025 21:07
@AdamZsofiAdamZsofi
pushed a1f1f28
nontermination-witnesses
Status Failure
Total duration 1m 54s
Artifacts –

check-formatting.yml

on: push
check-formatting
1m 42s
check-formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-formatting
Gradle build failed: see console output for details