progress_token is 0 on first tool-call and the return is taken mistakenly #127
pull-request-checks.yml
on: pull_request
checks
/
format
6s
checks
/
typecheck
13s
checks
/
build
9s