Test PR

Github WF update missed moving off a private runner to a public runner. #7797

Sign in to view logs

Triggered via pull request January 6, 2026 20:32

rv-jenkins

edited #4896

hotfix/missed-cachix-public

Status Success

Total duration 40m 27s

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

6 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 (self-hosted, linux, normal)

Cachix Daemon is not supported by this version of Cachix (1.6.1). 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:4fcc7dca9f75758c5c03208fee44d605f2bfc721ab9741e730fb411991e9dcd0`
kframework-frontend.deb Expired	76.6 MB	`sha256:a839c4c5ac34f0787e9ef890a2a2bee7f7762d9bccca776da86a7927d5f05b0f`
kframework.deb Expired	172 MB	`sha256:c1ebbb5ec2fda3454f0d07c4d2ffddb165a78ae2169ea93e0530bb0643a0f7a8`
macos-formula-test Expired	1.12 KB	`sha256:601207b2d291e36b804b9784434f5ea576ab8f2f1db5493179a34feaab239eff`