{
  "comment": "# number-line-integers 1.2.12-rc.2 Tue Jun 16 2026 02:38:49 GMT-0600 (Mountain Daylight Time)",
  "totality": {
    "sha": "d42372ef7c901106a86d263b6c65a007b7c6568d",
    "branch": "HEAD"
  }
}