Skip to content
Release

K Framework Release v6.0.128 #871

Sign in to view logs

K Framework Release v6.0.128

K Framework Release v6.0.128 #871

Triggered via release October 3, 2023 16:00
@rv-jenkinsrv-jenkins
prereleased v6.0.128
Status Success
Total duration 2h 1m 23s
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
36s
Create source tarball
Nix Release
2m 23s
Nix Release
K Ubuntu Jammy Package
43m 34s
K Ubuntu Jammy Package
K Ubuntu Focal Package
43m 35s
K Ubuntu Focal Package
K Debian Bookworm Package
49m 9s
K Debian Bookworm Package
Arch Linux Package
59m 34s
Arch Linux Package
Build MacOS Package
1h 6m
Build MacOS Package
Test MacOS Package
14m 16s
Test MacOS Package
Publish Release
27m 29s
Publish Release
GitHub Pages deployment
11m 47s
GitHub Pages deployment
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 5 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
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