fix: progress bar in tactic combinators#11577

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-romypvuprlzlKha/lean4:push-romypvuprlzlCopy head branch name to clipboard