Test PR

Update dependency: deps/haskell-backend_release #7811

Sign in to view logs

Triggered via pull request February 1, 2026 23:02

rv-jenkins

synchronize #4902

_update-deps/runtimeverification/haskell-backend

Status Success

Total duration 49m 47s

Artifacts 4

test-pr.yml

on: pull_request

Matrix: Pyk: Code Quality & Unit Tests

Code Quality Checks

K: Ubuntu Jammy Frontend Package

K: Source Build & Test

K: Ubuntu Jammy Package

K: macOS Build & Test

Matrix: K: Nix Build & Test

Matrix: Pyk: Nix Build

Pyk: Documentation

Pyk: Integration Tests

Pyk: Regression Tests

Annotations

5 warnings

Pyk: Nix Build (ubuntu-24.04)

No push credentials found. Ignoring the 'useDaemon' option.

Pyk: Nix Build (macos-14)

No push credentials found. Ignoring the 'useDaemon' option.

K: Nix Build & Test (MacM1, self-macos-12)

bash 5.3.9 is already installed and up-to-date. To reinstall 5.3.9, run: brew reinstall bash

K: macOS Build & Test

runtimeverification/k/kframework 7.1.0 is already installed and up-to-date. To reinstall 7.1.0, run: brew reinstall kframework

K: macOS Build & Test

`$HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK` is set: not checking for outdated dependents or dependents with broken linkage!

Artifacts

Produced during runtime

Name	Size	Digest
homebrew-bottle Expired	347 MB	`sha256:192b7ad1d977fe25a46395ab4cc77d2b8ae671dcc7f1da23840c50ac3143b2bc`
kframework-frontend.deb Expired	76.6 MB	`sha256:b69134957e5f206f57f889f7834e532aac56bf169ee2f533d1a9cbf4b2ac2643`
kframework.deb Expired	172 MB	`sha256:658684e1d4eb48a92a2b45ccb49f47ee93cf11e3c4b9a72444e4acd5f7cca7b3`
macos-formula-test Expired	1.12 KB	`sha256:af7a96be0dd512d8464ec63778b0bf8272d9df5ed9bf1d48a20daf241d72c296`