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-ci-test 32836 0 6 201 0 1
GitHub leanprover/lean4-cli 76 10 18 9 4 10
GitHub leanprover/lean4-nightly 34890 1 1 259 1 1
GitHub leanprover/lean4-pr-releases 46595 0 0 322 0 0
GitHub leanprover/lean4checker 77 0 40 8 0 7
GitHub leanprover/lean4export 12 3 2 3 3 2
GitHub leanprover/LeanInk 273 27 32 17 8 15
GitHub leanprover/leanprover.github.io 345 45 69 20 14 24
GitHub leanprover/leansat 544 9 128 9 1 7
GitHub leanprover/LNSym 801 19 227 19 3 14
GitHub leanprover/logic_and_proof_lean3 473 14 44 13 8 18
GitHub leanprover/macports 413 2 1 1 1 1
GitHub leanprover/mini_crush 11 1 0 4 1 0
GitHub leanprover/mkleanbook 677 2 4 24 2 3
GitHub leanprover/ppa-updater 15 4 0 2 1 0
GitHub leanprover/presentations 134 4 9 6 2 6
GitHub leanprover/reference-manual 215 146 158 12 19 12
GitHub leanprover/release-index 6 0 0 2 0 0
GitHub leanprover/reservoir 146 27 32 3 12 2
GitHub leanprover/reservoir-index 585 0 0 2 0 0