FStar Windows Package

FStar Windows Package #9

Sign in to view logs

Manually triggered December 4, 2024 18:28

mtzguido

_guido_windows

Status Failure

Total duration 30m 11s

Artifacts –

windows.yml

on: workflow_dispatch

Annotations

1 error

build-windows

Process completed with exit code 1.