Skip to content
Release

K Framework Release v6.0.122 #864

Sign in to view logs

K Framework Release v6.0.122

K Framework Release v6.0.122 #864

Triggered via release September 29, 2023 15:54
@rv-jenkinsrv-jenkins
prereleased v6.0.122
Status Success
Total duration 2h 20m 47s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release.yml

on: release
Set Release ID
0s
Set Release ID
Create source tarball
53s
Create source tarball
Nix Release
2m 1s
Nix Release
K Ubuntu Jammy Package
1h 10m
K Ubuntu Jammy Package
K Ubuntu Focal Package
1h 16m
K Ubuntu Focal Package
K Debian Bookworm Package
26m 1s
K Debian Bookworm Package
Arch Linux Package
45m 7s
Arch Linux Package
Build MacOS Package
1h 19m
Build MacOS Package
Test MacOS Package
15m 4s
Test MacOS Package
Publish Release
25m 36s
Publish Release
GitHub Pages deployment
10m 24s
GitHub Pages deployment
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 5 warnings
Build MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
Build MacOS Package
The process '/usr/local/bin/git' failed with exit code 1
Test MacOS Package
The process '/usr/local/bin/git' failed with exit code 1
Test MacOS Package
ambiguous argument 'HEAD': unknown revision or path not in the working tree.
Build MacOS Package
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, actions/upload-artifact@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
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Test MacOS Package
Unable to clean or reset the repository. The repository will be recreated instead.
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
101 MB