K Framework Release v7.0.122 #1333
Triggered via release
June 7, 2024 16:44
rv-jenkins
rv-jenkins
prereleased
3261764
Status
Failure
Total duration
38m 29s
Artifacts
3
release.yml
on: release
Set Release ID
0s
Create source tarball
35s
K Ubuntu Jammy Package
27m 55s
Matrix: k-framework-binary cachix release
GitHub Pages deployment
0s
Annotations
8 errors and 10 warnings
|
Build MacOS Package
unable to access 'https://github.com/runtimeverification/homebrew-k/': Failed to connect to github.com port 443 after 75015 ms: Couldn't connect to server
|
|
Build MacOS Package
unable to access 'https://github.com/runtimeverification/homebrew-k/': Failed to connect to github.com port 443 after 75015 ms: Couldn't connect to server
|
|
Build MacOS Package
The process '/opt/homebrew/bin/git' failed with exit code 128
|
|
Build MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
|
|
Build MacOS Package
unable to access 'https://github.com/runtimeverification/homebrew-k/': Failed to connect to github.com port 443 after 75007 ms: Couldn't connect to server
|
|
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
|
|
Test MacOS Package
Process completed with exit code 113.
|
|
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.
|
|
k-framework-binary cachix release (macos-13, macos-13)
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 (macos-13, macos-13)
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!
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
homebrew
Expired
|
355 MB |
|
|
kframework_amd64_ubuntu_jammy.deb
Expired
|
178 MB |
|
|
pyk-docs
Expired
|
940 KB |
|