Skip to content
CI (Coq, Alpine)

Build universal (x86_64+arm64) binaries for MacOS #590

Sign in to view logs

Build universal (x86_64+arm64) binaries for MacOS

Build universal (x86_64+arm64) binaries for MacOS #590

Triggered via pull request May 7, 2024 17:53
@JasonGrossJasonGross
synchronize #1891
JasonGross:mac-universal
Status Cancelled
Total duration 45m 1s
Artifacts 2

coq-alpine.yml

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

Annotations

3 errors and 1 warning
alpine-edge
Canceling since a higher priority waiting request for 'CI (Coq, Alpine)-alpine-edge-mac-universal' exists
alpine-edge
The operation was canceled.
alpine-check-all
Process completed with exit code 1.
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "ExtractionHaskell-edge", "ExtractionOCaml-edge". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-edge
5.41 KB
ExtractionOCaml-edge
3.55 KB