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 c86a5db69e7c0638d3d857a60243dbedd0f2ff58 Dec 19 - Mar 19

Commit statistics for c86a5db69e7c0638d3d857a60243dbedd0f2ff58 May 12 - Aug 11

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
0 results
  • Total: 1252 commits
  • Average per day: 0.5 commits
  • Authors: 12

Commits per day of month

No. of commitsDay of month030609012015012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday050100150200250300MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)030609012015018001234567891011121314151617181920212223