Skip to content

Only upload one copy of linux binaries to releases #3979

Only upload one copy of linux binaries to releases

Only upload one copy of linux binaries to releases #3979

Triggered via pull request November 13, 2023 18:50
Status Cancelled
Total duration 5h 31m 27s
Artifacts

coq-macos.yml

on: pull_request
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
macos-check-all
0s
macos-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-standalone-package-only-static-release' exists
macos-check-all
Process completed with exit code 1.