K Framework Release v7.1.176 #1536
F-WRunTimerelease.yml
on: release
Set Release ID
0s
Create source tarball
39s
K Ubuntu Jammy Package
36m 52s
Matrix: k-framework-binary cachix release
K Ubuntu Noble Package
13m 1s
GitHub Pages deployment
0s
Notify Dependents
0s
Annotations
5 errors and 3 warnings
|
Create source tarball
Process completed with exit code 1.
|
|
K Ubuntu Noble Package
Process completed with exit code 1.
|
|
K Ubuntu Noble Package
Process completed with exit code 1.
|
|
K Ubuntu Jammy Package
Process completed with exit code 1.
|
|
K Ubuntu Jammy 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.
|
|
K Ubuntu Noble Package
No files were found with the provided path: **/kore-exec.tar.gz. No artifacts will be uploaded.
|
|
K Ubuntu Jammy 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_jammy.deb
Expired
|
175 MB |
|