Skip to content
Update stage0

chore: revert "refactor: port shell option processing to Lean" (#11378) #6455

Sign in to view logs

chore: revert "refactor: port shell option processing to Lean" (#11378)

chore: revert "refactor: port shell option processing to Lean" (#11378) #6455

Triggered via push November 26, 2025 09:57
@github-merge-queuegithub-merge-queue[bot]
pushed 3772bb8
master
Status Success
Total duration 48s
Artifacts –

update-stage0.yml

on: push
update-stage0
40s
update-stage0
Fit to window
Zoom out
Zoom in