GitHub macOS CI

document user-contrib/Ltac2/Array.v #15664

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via pull request April 15, 2025 16:28

MathisBD

synchronize #20460

MathisBD:ltac2_doc_array

Status Success

Total duration 37m 38s

Artifacts –

ci-macos.yml

on: pull_request

Annotations

1 warning

expat 2.7.1 is already installed and up-to-date. To reinstall 2.7.1, run: brew reinstall expat