FStar Windows Package

FStar Windows Package #1

Sign in to view logs

Re-run triggered December 11, 2023 22:16

Status Failure

Total duration 15m 40s

Artifacts –

windows.yml

on: workflow_dispatch

Annotations

1 error

build-windows

Process completed with exit code 1.