)]}'
{
  "commit": "31d62d9aaa5aa0e4fc9b53fa3f029d2297deb1ab",
  "tree": "86ff0e6a1e18273e4e3a9ccc09aa5f31b8ff99b1",
  "parents": [
    "884bdd1d853895b35525e03cded442f7cd0fa25e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 10 18:30:14 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 10 18:30:14 2024 -0800"
  },
  "message": "feat: add `Float.toFloat32` and `Float32.toFloat32`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3bd14fa14e58fbd8034c164bc51e6492376ed3b8",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Float32.lean",
      "new_id": "8fe74e527a19b5aeccf6d76ba13776eba86ed724",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Float32.lean"
    },
    {
      "type": "modify",
      "old_id": "605cf2c044904f68b1764588da1677ba72326115",
      "old_mode": 33188,
      "old_path": "tests/lean/run/float32.lean",
      "new_id": "a70fbdcf888ab11ab1fc14eff4df19978286d39c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/float32.lean"
    }
  ]
}