Skip to content

[feat infrastructure] Added actions scripts to count no. of reviewers#1451

Closed
Alex-Zughaid wants to merge 1 commit into
leanprover-community:masterfrom
Alex-Zughaid:github-reviewer-bot
Closed

[feat infrastructure] Added actions scripts to count no. of reviewers#1451
Alex-Zughaid wants to merge 1 commit into
leanprover-community:masterfrom
Alex-Zughaid:github-reviewer-bot

script with gh actions to find busy reviewers

071619f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Comment a pull_request
succeeded Jul 20, 2026 in 25s