Skip to content

Merge branch 'dev'

Merge branch 'dev' #6

Re-run triggered July 30, 2025 06:56
Status Success
Total duration 4m 33s
Artifacts
release-stage  /  pre-workflow-checks
4s
release-stage / pre-workflow-checks
release-stage  /  validate
37s
release-stage / validate
Matrix: release-stage / release
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
release-stage / release (release, macos-14)
wget 1.25.0 is already installed and up-to-date. To reinstall 1.25.0, run: brew reinstall wget
release-stage / release (release, macos-14)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja
release-stage / release (release, macos-14)
Cache save failed.
release-stage / release (release, ubuntu-22.04)
Cache save failed.
release-stage / release (release, windows-2022)
Cache save failed.