K Framework Release v7.1.42 #1386
Triggered via release
July 3, 2024 01:34
rv-jenkins
prereleased
v7.1.42
Status
Success
Total duration
41m 37s
Artifacts
3
release.yml
on: release
Set Release ID
0s
Create source tarball
36s
K Ubuntu Jammy Package
27m 17s
Matrix: k-framework-binary cachix release
GitHub Pages deployment
7m 29s
Notify Dependents
2m 3s
Annotations
5 errors and 10 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 (MacM1, self-macos-12)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: workflow/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: workflow/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
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
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
|
Notify Dependents
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/692973e3d937129bcbf40652eb9f2f61becf3332'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
Notify Dependents
Back off 16.244 seconds before retry.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
homebrew
Expired
|
365 MB |
|
kframework_amd64_ubuntu_jammy.deb
Expired
|
178 MB |
|
pyk-docs
Expired
|
3.67 MB |
|