)]}'
{
  "commit": "e48303ec9bc77ca9c89d04384e0fba32e5432f09",
  "tree": "e88853c2a59a9e678f71bd3dd4199069989c2150",
  "parents": [
    "885b8bcc608bc714a4d95b0d5c23cc56c66fdb20"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Aug 06 19:13:34 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Aug 06 19:13:34 2025 +1000"
  },
  "message": "chore: failing grind test cases for linarith on ordered fields\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1ca8e581d1ce72d4de34e28cfbb72e7da462a719",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/linarith_field.lean"
    }
  ]
}