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-community/lean4-samples 139 5 21 10 5 9
GitHub leanprover-community/lean4game 1130 237 53 26 50 21
GitHub leanprover-community/lean4web 363 38 10 10 14 10
GitHub leanprover-community/leancrawler 24 1 6 5 1 4
GitHub leanprover-community/leanprover-community.github.io 12264 38 553 143 23 137
GitHub leanprover-community/LeanSearchClient 43 5 7 2 2 3
GitHub leanprover-community/lftcm2020 941 62 88 80 2 74
GitHub leanprover-community/liquid 534 4 13 19 1 5
GitHub leanprover-community/llm 17 2 1 5 2 1
GitHub leanprover-community/logic_and_proof 507 0 4 19 0 2
GitHub leanprover-community/lt2021 120 0 1 2 0 1
GitHub leanprover-community/mathematics_in_lean 167 0 19 3 0 15
GitHub leanprover-community/mathematics_in_lean3 3 0 0 1 0 0
GitHub leanprover-community/mathlib-nightly 3110 0 0 99 0 0
GitHub leanprover-community/mathlib-nursery 50 0 0 2 0 0
GitHub leanprover-community/mathlib-port-status 183 4 19 7 3 6
GitHub leanprover-community/mathlib-tools 1490 43 123 54 25 33
GitHub leanprover-community/mathlib3 44120 362 18873 595 77 330
GitHub leanprover-community/mathlib3port 2824 0 2 5 0 2
GitHub leanprover-community/mathlib4 76480 443 21413 833 117 430