GitHub macOS CI

Let with Qed: produce really-Qed side definition #2329

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push September 25, 2023 11:52

proux01

let-abstract

Status Success

Total duration 39m 0s

Artifacts –

ci-macos.yml

on: push