Update dependency: deps/haskell-backend_release #7980
deosa-archtest-pr.yml
on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 33s
K: Source Build & Test
17m 58s
K: Ubuntu Jammy Package
18m 4s
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Documentation
46s
Pyk: Profiling
45s
Pyk: Integration Tests
41s
Pyk: Regression Tests
46s
Annotations
19 errors and 19 warnings
|
Pyk: Integration Tests
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
Pyk: Integration Tests
Process completed with exit code 1.
|
|
Pyk: Integration Tests
The operation was canceled.
|
|
K: Nix Build & Test (MacM1, self-macos-12)
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
K: Nix Build & Test (MacM1, self-macos-12)
The operation was canceled.
|
|
Pyk: Profiling
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
Pyk: Profiling
Process completed with exit code 1.
|
|
Pyk: Profiling
The operation was canceled.
|
|
Pyk: Documentation
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
Pyk: Documentation
Process completed with exit code 1.
|
|
Pyk: Documentation
The operation was canceled.
|
|
Pyk: Regression Tests
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
Pyk: Regression Tests
Process completed with exit code 1.
|
|
Pyk: Regression Tests
The operation was canceled.
|
|
K: Source Build & Test
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
K: Source Build & Test
The operation was canceled.
|
|
K: Ubuntu Jammy Package
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
K: Ubuntu Jammy Package
The operation was canceled.
|
|
Test PR
Canceling since a higher priority waiting request for Test PR-refs/pull/4935/merge exists
|
|
Pyk: Code Quality & Unit Tests (3.11)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Code Quality & Unit Tests (3.10)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Code Quality & Unit Tests (3.12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Code Quality & Unit Tests (3.13)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Java: Linting
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Code Quality & Unit Tests (3.14)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Nix Build (ubuntu-24.04)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, cachix/cachix-action@v14. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Nix Build (ubuntu-24.04)
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Pyk: Nix Build (macos-14)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, cachix/cachix-action@v14. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Nix Build (macos-14)
No push credentials found. Ignoring the 'useDaemon' option.
|
|
K: Nix Build & Test (self-hosted, linux, normal)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, cachix/cachix-action@v14. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
K: Ubuntu Jammy Frontend Package
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Integration Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
K: Nix Build & Test (MacM1, self-macos-12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Profiling
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Documentation
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Pyk: Regression Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
K: Source Build & Test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
K: Ubuntu Jammy Package
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. 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 | |
|---|---|---|---|
|
kframework-frontend.deb
Expired
|
76.6 MB |
sha256:3abbc7c8d8d4ac017b11915da22b8b9263d96735b65d464e800b9df49c373771
|
|