Build FStar Binaries for MacOS

Build FStar Binaries for MacOS #184

Sign in to view logs

Manually triggered September 9, 2023 18:21

_taramana_macos_20230909

Status Failure

Total duration 46s

Artifacts –

macos-build.yml

on: workflow_dispatch

Annotations

1 error

Process completed with exit code 1.