GitHub macOS CI

Fix ci-compcert/ci-vst for local ci #86

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push November 19, 2023 10:30

fix_local_ci-vst

Status Success

Total duration 35m 16s

Artifacts –

ci-macos.yml

on: push