Add Tactician to the platform · coq/platform@c56440d

Triggered via pull request July 19, 2024 02:09

opened #423

coq-tactician:tactician

Status Failure

Total duration 1h 47m 39s

Artifacts –

macos.yml

on: pull_request

Matrix: Macos

Matrix: Smoke test Macos

1 error and 4 warnings

Process completed with exit code 1.

python@3.12 3.12.4 is already installed and up-to-date. To reinstall 3.12.4, run: brew reinstall python@3.12

Already linked: /opt/homebrew/Cellar/python@3.12/3.12.4

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

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