coqide: rename to coq-platform, update
#158977
Triggered via pull request
November 14, 2024 07:46
p-linnane
Status
Failure
Total duration
20m 10s
Artifacts
–
Annotations
4 errors and 2 warnings
|
test coq-platform (macos-13, intel)
1 problem in 1 cask detected.
|
|
test coq-platform (macos-13, intel):
Casks/c/coq-platform.rb#L13
Signature verification failed:
/private/tmp/cask-audit20241114-9316-uvf4p3/Coq-Platform~8.18~2023.11.app: rejected
macOS on ARM requires software to be signed.
Please contact the upstream developer to let them know they should sign and notarize their software.
|
|
test coq-platform (macos-13, intel)
Process completed with exit code 1.
|
|
conclusion
Process completed with exit code 1.
|
|
test coq-platform (macos-15, arm)
macOS's Gatekeeper has been disabled for this Cask
|
|
test coq-platform (macos-13, intel)
macOS's Gatekeeper has been disabled for this Cask
|