Windows build and test

Nontermination witnesses #1930

Sign in to view logs

Triggered via pull request February 23, 2025 21:07

AdamZsofi

synchronize #338

nontermination-witnesses

Status Failure

Total duration 24m 12s

Artifacts –

win-build-test.yml

on: pull_request

Matrix: test-windows

Annotations

3 errors

test-windows (windows-2022)

Gradle build failed: see console output for details

test-windows (windows-2019)

Gradle build failed: see console output for details

test-windows (windows-latest)

Gradle build failed: see console output for details