Release

Merge pull request #51 from runtimeverification/fix/nix-source-filter… #46

Sign in to view logs

Triggered via push July 24, 2026 16:06

RaoulSchaffranek

main

Status Failure

Total duration 29m 22s

Artifacts –

release.yml

on: push

Matrix: Populate Nix Caches

Build and Publish Docker Image

Annotations

5 errors and 4 warnings

Populate Nix Caches (ARM64)

Process completed with exit code 1.

Populate Nix Caches (normal)

The strategy configuration was canceled because "nix-cache.ARM64" failed

Populate Nix Caches (normal)

Process completed with exit code 125.

Populate Nix Caches (normal)

The operation was canceled.

Build and Publish Docker Image

Process completed with exit code 1.

Draft Release

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/

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

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

Build and Publish Docker Image

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/