Test PR

Add Python 3.14 to pyk code quality CI job #7719

Sign in to view logs

Triggered via pull request October 8, 2025 10:35

tothtamas28

synchronize #4867

python-314

Status Success

Total duration 34m 52s

Artifacts 3

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

2 errors and 4 warnings

K: macOS Build & Test

Process completed with exit code 1.

K: macOS Build & Test

runtimeverification/k/kframework 7.1.0 did not build

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.3 is already installed and up-to-date. To reinstall 5.3.3, run: brew reinstall bash

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
kframework-frontend.deb Expired	76.6 MB	`sha256:ce8a637f20bfd4db04ac619527bfcfba807c34a01e96bdb589e3fb6d96e5ddea`
kframework.deb Expired	172 MB	`sha256:585adab80edf66f6a7e277203d983da468298606bfdc1528a6f29baa2d1764a6`
macos-formula-test Expired	1.11 KB	`sha256:0dc2a78ef066a54d0050783518d92ac2495a938f7bdbebaef54608282f11cced`