Skip to content
Backport

[Backport releases/v4.23.0] refactor: port more of shell.cpp to Lean #13062

Sign in to view logs

[Backport releases/v4.23.0] refactor: port more of shell.cpp to Lean

[Backport releases/v4.23.0] refactor: port more of shell.cpp to Lean #13062

Triggered via pull request September 5, 2025 19:22
@tydeutydeu
closed #10266
Status Success
Total duration 8s
Artifacts –

backport.yml

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