2025.01 prep 7 · coq/platform@6e2b775

Triggered via pull request January 27, 2025 12:53

opened #462

Status Cancelled

Total duration 4m 6s

Artifacts –

macos.yml

on: pull_request

Matrix: Macos

Matrix: Smoke test Macos

3 errors and 9 warnings

Process completed with exit code 2.

The run was canceled by @MSoegtropIMC.

The operation was canceled.

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1

No files were found with the provided path: /Users/runner/.opam/CP*8.20~2025.01/.opam-switch/build. No artifacts will be uploaded.

No files were found with the provided path: macos_installer/logs/. No artifacts will be uploaded.

No files were found with the provided path: /Users/runner/.opam/log/. No artifacts will be uploaded.

wget 1.25.0 is already installed and up-to-date. To reinstall 1.25.0, run: brew reinstall wget

wget 1.25.0 is already installed and up-to-date. To reinstall 1.25.0, run: brew reinstall wget

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1