GitHub macOS CI

Doc: rename `coqtop::` -> `rocqtop::`, `coqdoc::` -> `rocqdoc::` #4430

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push December 13, 2024 14:14

SkySkimmer

rocq-directive

Status Success

Total duration 28m 8s

Artifacts –

ci-macos.yml

on: push