Skip to content
Backport

feat: respect lean --setup module name in code generation #10589

Sign in to view logs

feat: respect lean --setup module name in code generation

feat: respect lean --setup module name in code generation #10589

Triggered via pull request June 14, 2025 20:15
@tydeutydeu
labeled #8780
Status Skipped
Total duration 1s
Artifacts –

backport.yml

on: pull_request_target
Backport
Backport
Fit to window
Zoom out
Zoom in