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 language010203040506070OCamlSMTC++HaskellShell

Code coverage statistics for 9db03020a7004e1b7de1e0a8292f1b46f5ea3602 Dec 15 - Mar 15

No code coverage data

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

Commit statistics for 9db03020a7004e1b7de1e0a8292f1b46f5ea3602 Apr 02 - Apr 08

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • main default protected
1 result
  • Total: 21 commits
  • Average per day: 3.0 commits
  • Authors: 2

Commits per day of month

No. of commitsDay of month012345612345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday0123456MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)01234501234567891011121314151617181920212223