Skip to content
Windows build and test

Nontermination witnesses #1928

Sign in to view logs

Nontermination witnesses

Nontermination witnesses #1928

Triggered via pull request February 23, 2025 19:28
@AdamZsofiAdamZsofi
synchronize #338
nontermination-witnesses
Status Failure
Total duration 24m 5s
Artifacts –

win-build-test.yml

on: pull_request
Matrix: test-windows
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test-windows (windows-2022)
Gradle build failed: see console output for details
test-windows (windows-latest)
Gradle build failed: see console output for details
test-windows (windows-2019)
Gradle build failed: see console output for details