Build FStar Binaries for MacOS

Build FStar Binaries for MacOS #187

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Manually triggered September 9, 2023 18:33

tahina-pro

_taramana_macos_20230909

Status Failure

Total duration 55s

Artifacts –

macos-build.yml

on: workflow_dispatch

Annotations

1 error

Process completed with exit code 1.