Update HTML to support more files #4757
coq-macos.yml
on: pull_request
Annotations
4 errors and 3 warnings
macOS 14 (arm64)
The run was canceled by @JasonGross.
|
macOS 14 (arm64)
The operation was canceled.
|
macOS 13 (x86_64)
The run was canceled by @JasonGross.
|
macos-check-all
Process completed with exit code 1.
|
macOS 14 (arm64)
pkgconf 2.3.0_1 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|
macOS 13 (x86_64)
Runner GitHub Actions 16 did not respond to a cancelation request with 00:05:00.
|
macOS 13 (x86_64)
pkgconf 2.3.0_1 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|