Skip to content
Release

K Framework Release v7.1.304 #1678

Sign in to view logs

K Framework Release v7.1.304

K Framework Release v7.1.304 #1678

Triggered via release November 14, 2025 20:29
@rv-jenkinsrv-jenkins
prereleased v7.1.304
Status Success
Total duration 1h 0m 34s
Artifacts 5

release.yml

on: release
Set Release ID
2s
Set Release ID
Create source tarball
57s
Create source tarball
Pyk: Build Python wheel
15s
Pyk: Build Python wheel
Matrix: k-framework cachix release
Matrix: k-framework-binary cachix release
Build MacOS Package
31m 35s
Build MacOS Package
K Ubuntu Jammy Package
23m 17s
K Ubuntu Jammy Package
K Ubuntu Noble Package
34m 11s
K Ubuntu Noble Package
Test MacOS Package
1m 6s
Test MacOS Package
Build Pyk Documentation
4m 12s
Build Pyk Documentation
Publish Release
1m 7s
Publish Release
Publish pyk
26s
Publish pyk
GitHub Pages deployment
8m 28s
GitHub Pages deployment
Notify Dependents
8s
Notify Dependents
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 9 warnings
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.304.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
Publish Release
Process completed 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.
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.304.arm64_sequoia.bottle.1269.tar.gz".
Test MacOS Package
Unable to clean or reset the repository. The repository will be recreated instead.
Create a Trusted Publisher
A new Trusted Publisher for the currently running publishing workflow can be created by accessing the following link(s) while logged-in as an owner of the package(s):
Upgrade to Trusted Publishing
Trusted Publishers allows publishing packages to PyPI from automated environments like GitHub Actions without needing to use username/password combinations or API tokens to authenticate with PyPI. Read more: https://docs.pypi.org/trusted-publishers
attestations input ignored
The workflow was run with the 'attestations: true' input, but an explicit password was also set, disabling Trusted Publishing. As a result, the attestations input is ignored.

Artifacts

Produced during runtime
Name Size Digest
homebrew
347 MB
sha256:66e32f7ce806f6430d1543358fb021d28f5378368b33bb9b522d44d5c0cf252a
kframework.whl Expired
279 KB
sha256:266ba172727a3db35ff809e8437492bed1d880c05f15eeee6eac2e71eb37948c
kframework_amd64_ubuntu_jammy.deb Expired
172 MB
sha256:32050dbcd722c3e5d6e503646b28ac51173b3d17fc4fc92f7bdd735d8363a528
kframework_amd64_ubuntu_noble.deb Expired
172 MB
sha256:75af37ee0d08c356228082063654e79e391cdc44966899bcfed04e6cb3acc323
pyk-docs Expired
8.48 MB
sha256:1528c9130c3736517f3fac66d8ed626ebdef3af0b059f972c9c7d394e55e6e7f