Skip to content
Check PR body for changelog convention

fix: progress bar in tactic combinators #29351

Sign in to view logs

fix: progress bar in tactic combinators

fix: progress bar in tactic combinators #29351

Triggered via pull request December 10, 2025 11:32
@leanprover-community-botleanprover-community-bot
labeled #11577
Kha:push-romypvuprlzl
Status Success
Total duration 8s
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
5s
check-pr-body
Fit to window
Zoom out
Zoom in