Skip to content

K Framework Release v7.0.21 #1204

K Framework Release v7.0.21

K Framework Release v7.0.21 #1204

Triggered via release April 24, 2024 18:26
@rv-jenkinsrv-jenkins
prereleased f20eb7f
Status Failure
Total duration 37m 50s
Artifacts

release.yml

on: release
Set Release ID
0s
Set Release ID
Create source tarball
36s
Create source tarball
Matrix: k-framework-binary cachix release
K Ubuntu Jammy Package
20m 32s
K Ubuntu Jammy Package
Build MacOS Package
36m 54s
Build MacOS Package
Test MacOS Package
0s
Test MacOS Package
Publish Release
0s
Publish Release
GitHub Pages deployment
0s
GitHub Pages deployment
Fit to window
Zoom out
Zoom in

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.