Skip to content

fix: cli option --no-banner is NOT passed to cli but server-spec in-correctly when cli --reload option is specified. #7345

fix: cli option --no-banner is NOT passed to cli but server-spec in-correctly when cli --reload option is specified.

fix: cli option --no-banner is NOT passed to cli but server-spec in-correctly when cli --reload option is specified. #7345

This workflow is awaiting approval from a maintainer in #4083
Triggered via pull request April 29, 2026 15:16
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #4083

run-static.yml

on: pull_request
static_analysis
static_analysis
Fit to window
Zoom out
Zoom in