Check awaiting-manual label

refactor: port more of `shell.cpp` to Lean #4589

Sign in to view logs

Triggered via pull request September 5, 2025 19:16

tydeu

labeled #10086

tydeu:port-more-shell

Status Success

Total duration 11s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual