Fixed minor Typo in MacOS installation doc · coq/platform@bb76e40

Triggered via pull request November 26, 2024 05:37

caelum02

opened #447

Status Success

Total duration 2h 25m 2s

Artifacts 4

windows.yml

on: pull_request

Matrix: Windows

Matrix: Smoke test Windows

Produced during runtime