Skip to content
CI (Coq, Arch Linux)

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

Sign in to view logs

Build universal (x86_64+arm64) binaries for MacOS

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

Triggered via pull request May 9, 2024 20:54
@JasonGrossJasonGross
synchronize #1891
JasonGross:mac-universal
Status Cancelled
Total duration 50m 8s
Artifacts 2

coq-archlinux.yml

on: pull_request
archlinux
46m 41s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
0s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
archlinux
Canceling since a higher priority waiting request for 'CI (Coq, Arch Linux)-archlinux-mac-universal' exists
archlinux
The operation was canceled.
archlinux-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-archlinux", "ExtractionOCaml-archlinux". 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-archlinux Expired
5.41 KB
ExtractionOCaml-archlinux Expired
3.55 KB