Skip to content

Add GitHub Actions CI #38

Add GitHub Actions CI

Add GitHub Actions CI #38

Triggered via push August 15, 2026 03:57
Status Cancelled
Total duration 2m 41s
Artifacts 2

ci.yml

on: push
Matrix: build
Matrix: test
publish release
0s
publish release
trigger mzn-analyse rebuild
0s
trigger mzn-analyse rebuild
Fit to window
Zoom out
Zoom in

Annotations

16 errors and 2 warnings
build (musl) / build
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
build (musl) / build
The operation was canceled.
build (linux-arm64) / build
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
build (linux-arm64) / build
The operation was canceled.
build (linux) / build
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
build (linux) / build
The operation was canceled.
build (win64) / build
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
build (win64) / build
The operation was canceled.
build (win64-arm) / build
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
build (win64-arm) / build
The operation was canceled.
Build & Test
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
Build & Test
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
Build & Test
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
Build & Test
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
Build & Test
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
Build & Test
Canceling since a higher priority waiting request for ci-refs/heads/feat/github_actions exists
build (win64) / build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build (win64-arm) / build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
minizinc-musl-arm64
13.2 MB
sha256:f1c7bd781ae944b630987fbc1d1f3608c6be163dfaa67fd95c85a3767214b8b8
minizinc-osx
11.1 MB
sha256:53a0d514d77c0f49c5376aadb83270f2e111b43098a9212bff381143d2de07ba