Skip to content

[Merged by Bors] - chore: add -v flag to lake update in CI #3367

[Merged by Bors] - chore: add -v flag to lake update in CI

[Merged by Bors] - chore: add -v flag to lake update in CI #3367

Triggered via pull request September 4, 2025 03:05
Status Success
Total duration 19s
Artifacts

actionlint.yml

on: pull_request
actionlint
14s
actionlint
check workflows generated by build.in.yml
11s
check workflows generated by build.in.yml
Fit to window
Zoom out
Zoom in