GitHub macOS CI

Add `rocq --print-version` (same as `coqc --print-version`) #4586

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push January 14, 2025 15:55

SkySkimmer

print-version

Status Success

Total duration 26m 31s

Artifacts –

ci-macos.yml

on: push