Skip to content
Backport

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

Sign in to view logs

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

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

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

backport.yml

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