K Framework Release v7.1.189 #1549
Robertorosmaninhorelease.yml
on: release
Set Release ID
0s
Create source tarball
35s
K Ubuntu Jammy Package
25m 39s
Matrix: k-framework-binary cachix release
K Ubuntu Noble Package
38m 16s
GitHub Pages deployment
0s
Notify Dependents
0s
Annotations
6 errors and 4 warnings
|
Build MacOS Package
Process completed with exit code 8.
|
|
Build MacOS Package
The process '/opt/homebrew/bin/git' failed with exit code 1
|
|
Build MacOS Package
Unhandled error: HttpError: Not Found
|
|
Build MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
|
|
K Ubuntu Noble Package
Process completed with exit code 1.
|
|
K Ubuntu Noble Package
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.
|
|
Create source tarball
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build MacOS Package
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
K Ubuntu Noble Package
No files were found with the provided path: **/kore-exec.tar.gz. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
kframework_amd64_ubuntu_noble.deb
Expired
|
174 MB |
|