Thank you for using cauldron.io; it will be shut down on March 20th, after which it will no longer be available. We invite you to explore Bitergia Analytics and also to read about this decision in our blog post, Saying Goodbye to Cauldron.io: A Look Back and a Look Forward. For feedback or discussion about this change, please reach out to Georg Link at georglink@bitergia.com.

lean

Report information

Repositories: 0

Activity

Commits Issues Reviews Questions
Total
Total (Last year)
Year-over-year % % % %

Community

Commit authors Issue submitters Review submitters Question authors
Total
Total (Last year)
Year-over-year % % % %

Performance

Issues Reviews
Median time to close days days
Median time to close (Last year) days days
Year-over-year % %

# Commits

# Lines/commit

# Lines/commit/file

# Issues created

# Issues closed

# Issues open

# Pull/Merge requests created

# Pull/Merge requests closed

# Pull/Merge requests open

# Commits

Last month

Last year

%

Year-over-year

# Lines/commit

Last month

Last year

%

Year-over-year

# Lines/commit/file

Last month

Last year

%

Year-over-year

# Issues created

Last month

Last year

%

Year-over-year

# Issues closed

Last month

Last year

%

Year-over-year

# Pull/Merge requests created

Last month

Last year

%

Year-over-year

# Pull/Merge requests closed

Last month

Last year

%

Year-over-year

# Questions

# Answers

# Active people

Git authors

Issue authors

PRs/MRs submitters

# Onboardings

Git authors

Issue authors

PRs/MRs submitters

# Active people

Git authors

# Onboardings

Git authors

# Active people

Issue authors

# Onboardings

Issue authors

# Active people

PRs/MRs submitters

# Onboardings

PRs/MRs submitters

# People asking

# People answering

Issues

Time open (average)

days

Time open (median)

days

Open issues

Reviews

Time open (average)

days

Time open (median)

days

Open reviews

Time to close (median)

days

Last month

days

Last year

%

Year-over-year

Time open (average)

days

Time open (median)

days

Open issues

Time to close (median)

days

Last month

days

Last year

%

Year-over-year

Time open (average)

days

Time open (median)

days

Open reviews

The following table shows all the commits, issues, reviews and its corresponding number of authors/submitters for all the history of each repository.

Repository Commits Issues Reviews Commits
authors
Issues
submitters
Reviews
submitters
GitHub leanprover/lean4 41221 2092 4969 262 338 217
GitHub leanprover/cmu-15815-s15 38 0 12 3 0 1
GitHub leanprover/deprecated-homebrew-lean 812 14 1 3 7 1
GitHub leanprover/doc-gen4 601 86 180 40 26 34
GitHub leanprover/elan 360 81 76 25 62 26
GitHub leanprover/emacs-dependencies 10 0 0 2 0 0
GitHub leanprover/fp-lean 405 162 18 4 32 10
GitHub leanprover/functional_programming_in_lean 26 0 0 4 0 0
GitHub leanprover/KLR 55 1 48 6 1 3
GitHub leanprover/lake 714 97 74 14 28 16
GitHub leanprover/lean-action 249 46 69 7 8 6
GitHub leanprover/lean-client-js 182 6 53 9 5 7
GitHub leanprover/lean-llvm 27 2 9 2 2 3
GitHub leanprover/lean-nightly 13804 0 1 51 0 1
GitHub leanprover/Lean.tmbundle 18 4 3 3 2 3
GitHub leanprover/lean.vim 34 9 7 3 5 3
GitHub leanprover/lean2 8727 6 7 30 5 6
GitHub leanprover/lean3 13829 1124 882 52 109 49
GitHub leanprover/lean3-mode 846 23 25 30 18 17
GitHub leanprover/lean3-web-editor 42 6 10 3 5 4