Skip to content
Release

K Framework Release v6.0.102 #845

Sign in to view logs

K Framework Release v6.0.102

K Framework Release v6.0.102 #845

Triggered via release September 19, 2023 15:16
@rv-jenkinsrv-jenkins
prereleased v6.0.102
Status Success
Total duration 2h 16m 37s
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
3s
Set Release ID
Create source tarball
54s
Create source tarball
Nix Release
2m 36s
Nix Release
K Ubuntu Jammy Package
1h 7m
K Ubuntu Jammy Package
K Ubuntu Focal Package
52m 27s
K Ubuntu Focal Package
K Debian Bookworm Package
1h 26m
K Debian Bookworm Package
Arch Linux Package
52m 22s
Arch Linux Package
Build MacOS Package
1h 28m
Build MacOS Package
Test MacOS Package
17m 29s
Test MacOS Package
Publish Release
19m 36s
Publish Release
GitHub Pages deployment
9m 11s
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