)]}'
{
  "commit": "1dd8750a72222cc1eda7ab74596a380579cff537",
  "tree": "61af2bc010de35da8034fc2605098104e614c629",
  "parents": [
    "31435e9cd156ecc53c7070b5dd061b98d95187ab"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jan 04 08:44:53 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jan 04 08:49:09 2025 -0800"
  },
  "message": "fix: missing propagation in `grind`\n\nThis PR adds a missing propagation rule to the (WIP) `grind` tactic.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "14a3a786ef849363b01cd9e2d5e52c1bec3f862e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean",
      "new_id": "42d1135a14f090feea280ba0f2f662526c6a1c82",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean"
    },
    {
      "type": "modify",
      "old_id": "e4f4a020dc688e16734c2c0a14f1e692445fc2a9",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_propagate_connectives.lean",
      "new_id": "6cb042ae1bbaa6e601a15d0230520690020b6ce6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_propagate_connectives.lean"
    }
  ]
}