Build FStar Binaries for MacOS

Build FStar Binaries for MacOS #190

Sign in to view logs

Manually triggered September 9, 2023 18:58

_taramana_macos_20230909

Status Failure

Total duration 1m 8s

Artifacts –

macos-build.yml

on: workflow_dispatch

Annotations

1 error

Process completed with exit code 1.