K Framework Release v7.0.20 #1203
Triggered via release
April 24, 2024 15:25
rv-jenkins
rv-jenkins
prereleased
9dc82d7
Status
Failure
Total duration
37m 55s
Artifacts
–
release.yml
on: release
Set Release ID
0s
Create source tarball
39s
Matrix: k-framework-binary cachix release
K Ubuntu Jammy Package
22m 41s
GitHub Pages deployment
0s
Annotations
3 errors and 6 warnings
|
Build MacOS Package
Process completed with exit code 1.
|
|
Build MacOS Package
The process '/usr/local/bin/git' failed with exit code 1
|
|
Build MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
|
|
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-20.04, ubuntu-20.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-20.04, ubuntu-20.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
Unable to clean or reset the repository. The repository will be recreated instead.
|