)]}'
{
  "commit": "0498e100f7097d7b25cf006e197d6a39ec839ecf",
  "tree": "7333361a2bfae2324519c96efd5de3c19bae322b",
  "parents": [
    "2480f77251e81afc284d7931bdf078319f1f4f8e"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sat Apr 11 10:47:06 2026 +0000"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Fri May 29 11:24:07 2026 +0000"
  },
  "message": "Makefile.proof: Add full paths and config to diagnostic output\n\nGCC and GNATprove only print the file name in diagnostic messages, not\nits full path. We\u0027ll replace the file name for all known files in the\nconfiguration built for. For the `proof-allconfigs` target, we also\nprefix the line with the current configuration (e.g. `linux::`).\n\nChange-Id: Ia71ee4b780d61ad6c583515d74e8669d1a259675\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/472\nTested-by: Ada SPARK \u003cgnatbot@sourcearcade.org\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "593b41e74af67068827a2907853131bdccd856c8",
      "old_mode": 33188,
      "old_path": "Makefile.proof",
      "new_id": "a08e91c06a5e604dced213844624d5767d179a2c",
      "new_mode": 33188,
      "new_path": "Makefile.proof"
    }
  ]
}