Test PR

Hotfix pyk equation rendering #7763

Sign in to view logs

Triggered via pull request November 17, 2025 09:10

jberthold

synchronize #4882

HOTFIX-pyk-equation-rendering

Status Failure

Total duration 49m 42s

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

1 error and 6 warnings

Pyk: Integration Tests

Process completed with exit code 2.

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.0). Ignoring the 'useDaemon' option.

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

bash 5.3.3 is already installed and up-to-date. To reinstall 5.3.3, 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:61e8ec5c4ff745309df2eaf38847f905a821c23557dbb62c9ff1d12d2d5bb0e5`
kframework-frontend.deb Expired	76.6 MB	`sha256:9b7062a92bf4bbcb0b53206c2ceb85bf21fdb41f1ab1bd6a22c4973742ef425c`
kframework.deb Expired	172 MB	`sha256:c08c5a0aa24060bb5f60ddebf68d3d21b1011e6486f7a69bad3feb6ccab3ecf1`
macos-formula-test Expired	1.12 KB	`sha256:11d669df15bb94b0431b287fc1f82051163082a1a78ca838099bc67f9308a6e9`