Repository navigation

Run Tests

Update dependency: deps/k_release #2908

Sign in to view logs

Triggered via pull request June 18, 2026 13:51

deosa-arch

synchronize #764

_update-deps/runtimeverification/k

Status Cancelled

Total duration 2m 40s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Annotations

8 errors and 6 warnings

Nix (normal)

Process completed with exit code 1.

Nix (ARM64)

Canceling since a higher priority waiting request for Run Tests-refs/pull/764/merge exists

Nix (ARM64)

The operation was canceled.

Conformance Tests

Canceling since a higher priority waiting request for Run Tests-refs/pull/764/merge exists

Conformance Tests

The operation was canceled.

Prover Tests

Canceling since a higher priority waiting request for Run Tests-refs/pull/764/merge exists

Prover Tests

The operation was canceled.

Canceling since a higher priority waiting request for Run Tests-refs/pull/764/merge exists

Version Bump

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Code Quality Checks

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3, astral-sh/setup-uv@v6. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Nix (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@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Nix (ARM64)

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Conformance 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@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Prover 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@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/