Skip to content
Snippets Groups Projects

Repository analytics

Programming languages used in this repository

Measured in bytes of code. Excludes generated and vendored code.

PercentageUsed programming language051015202530JavaScriptTypeScriptCoqOCamlCSS

Code coverage statistics for ab6263875d8c67d597d9f97e13a08d3018e3d8d7 Dec 18 - Mar 18

No code coverage data

Code coverage results are not yet available. Try again later.
Bi-weekly code coverage020406080100
data

Commit statistics for ab6263875d8c67d597d9f97e13a08d3018e3d8d7 May 12 - Jul 04

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • v8.17 default
1 result
  • Total: 1525 commits
  • Average per day: 0.5 commits
  • Authors: 15

Commits per day of month

No. of commitsDay of month030609012015012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday050100150200250300350MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)030609012015018021001234567891011121314151617181920212223