FStar Windows Package

FStar Windows Package #2

Sign in to view logs

Manually triggered December 12, 2023 00:12

tahina-pro

_taramana_package_ci

Status Failure

Total duration 16m 52s

Artifacts –

windows.yml

on: workflow_dispatch

Annotations

1 error

build-windows

Process completed with exit code 1.