Skip to content

K Framework Release v6.3.15 #1114

K Framework Release v6.3.15

K Framework Release v6.3.15 #1114

Triggered via release February 27, 2024 22:25
@rv-jenkinsrv-jenkins
prereleased v6.3.15
Status Success
Total duration 1h 58m 53s
Artifacts 1

release.yml

on: release
Set Release ID
4s
Set Release ID
Create source tarball
37s
Create source tarball
Matrix: k-framework-binary cachix release
K Ubuntu Jammy Package
25m 14s
K Ubuntu Jammy Package
Build MacOS Package
1h 24m
Build MacOS Package
Test MacOS Package
4m 19s
Test MacOS Package
GitHub Pages deployment
8m 12s
GitHub Pages deployment
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 14 warnings
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.
Test MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
Test MacOS Package
The process '/usr/local/bin/git' failed with exit code 1
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/nix-shell-action@v3. 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 (MacM1, self-macos-12)
The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/nix-shell-action@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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/nix-shell-action@v3. 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)
The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/nix-shell-action@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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/nix-shell-action@v3. 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)
The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/nix-shell-action@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
k-framework-binary cachix release (macos-13, macos-13)
No push credentials found. Ignoring the 'useDaemon' option.
Build MacOS Package
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build MacOS Package
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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.
Publish Release
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v3, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Publish Release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size
homebrew Expired
129 MB