Release

K Framework Release v7.1.314 #1688

Sign in to view logs

Re-run triggered February 10, 2026 10:53

jberthold

v7.1.314

Status Failure

Total duration 47m 46s

Artifacts 5

release.yml

on: release

Create source tarball

Pyk: Build Python wheel

Matrix: k-framework cachix release

Matrix: k-framework-binary cachix release

Build MacOS Package

K Ubuntu Jammy Package

K Ubuntu Noble Package

Test MacOS Package

Build Pyk Documentation

Publish Release

GitHub Pages deployment

Notify Dependents

Annotations

9 errors and 8 warnings

k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)

Command failed: /home/runner/work/_actions/workflow/nix-shell-action/v3.3.2/dist/wrapper.sh

k-framework-binary cachix release (macos-latest, macos-15)

The strategy configuration was canceled because "cachix-release.ubuntu-24_04_ubuntu-24_04" failed

k-framework-binary cachix release (macos-latest, macos-15)

The operation was canceled.

Build MacOS Package

ambiguous argument 'HEAD': unknown revision or path not in the working tree.

Build MacOS Package

The process '/opt/homebrew/bin/git' failed with exit code 1

Test MacOS Package

Process completed with exit code 1.

Test MacOS Package

No formulae or casks found for kframework--7.1.314.arm64_sequoia.bottle.1269.tar.gz.

Test MacOS Package

ambiguous argument 'HEAD': unknown revision or path not in the working tree.

Test MacOS Package

The process '/opt/homebrew/bin/git' failed with exit code 1

k-framework cachix release (ubuntu-24.04, ubuntu-24.04)

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

k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)

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

k-framework-binary cachix release (macos-latest, macos-15)

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

k-framework cachix release (macos-latest, macos-15)

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

Build MacOS Package

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

Build MacOS Package

Unable to clean or reset the repository. The repository will be recreated instead.

Test MacOS Package

No available formula with the name "kframework--7.1.314.arm64_sequoia.bottle.1269.tar.gz".

Test MacOS Package

Unable to clean or reset the repository. The repository will be recreated instead.

Artifacts

Produced during runtime

Name	Size	Digest
homebrew	347 MB	`sha256:36e492ea18d5d1c732777c0f6ad50e8ecb821cae59359aa426c2d6bcc1e7ec5e`
kframework.whl Expired	279 KB	`sha256:22b2319428d8c757d4bbfffe14dcad52a865d865902ba0477a76399cb3e14d99`
kframework_amd64_ubuntu_jammy.deb Expired	172 MB	`sha256:f75102ebc70a1aa93d67caaae0b865ac128bb8dbc5850e27488e51b7ddd14794`
kframework_amd64_ubuntu_noble.deb Expired	172 MB	`sha256:c6cf78a1440947161947a60b2e15aaa2dfec98a821166efd56b42d42dc8b30cc`
pyk-docs Expired	8.48 MB	`sha256:882b035d861e95574b79a52de6a9e17ada4fb6ac4c62b235f279c985a4eabcb1`