K Framework Release v7.1.137 #1496
Triggered via release
September 9, 2024 02:34
rv-jenkins
rv-jenkins
prereleased
v7.1.137
Status
Success
Total duration
46m 14s
Artifacts
4
release.yml
on: release
Set Release ID
0s
Create source tarball
52s
K Ubuntu Jammy Package
28m 2s
Matrix: k-framework-binary cachix release
K Ubuntu Noble Package
32m 35s
GitHub Pages deployment
8m 3s
Notify Dependents
6s
Annotations
5 errors and 7 warnings
|
Build MacOS Package
The process '/opt/homebrew/bin/git' failed with exit code 1
|
|
Build MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
|
|
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-binary cachix release (ubuntu-24.04, ubuntu-24.04)
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Build MacOS Package
These files were overwritten during the `brew link` step:
|
|
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
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
Test MacOS Package
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
homebrew
|
356 MB |
|
|
kframework_amd64_ubuntu_jammy.deb
Expired
|
175 MB |
|
|
kframework_amd64_ubuntu_noble.deb
Expired
|
174 MB |
|
|
pyk-docs
Expired
|
3.71 MB |
|