Build FStar Binaries for MacOS

Build FStar Binaries for MacOS #183

Sign in to view logs

Manually triggered September 9, 2023 18:18

_taramana_macos_20230909

Status Failure

Total duration 55s

Artifacts –

macos-build.yml

on: workflow_dispatch

Annotations

1 error

Process completed with exit code 1.