Windows CI

[new release] fstar (2025.02.06) #3863

Sign in to view logs

Triggered via pull request February 17, 2025 18:06

synchronize #27428

chandradeepdey:fstar

Status Failure

Total duration 7m 33s

Artifacts –

windows.yml

on: pull_request

Matrix: build

Annotations

1 error

build (windows-latest)

Process completed with exit code 1.