)]}'
{
  "commit": "666752ffc25d1edec5c93613b9f8dbd8bce6dcd6",
  "tree": "7f426fd308915a1c3edf32094148ec4f36306e7b",
  "parents": [
    "52a7523aa3b008610fc59f0261ff1fffa3b7f059"
  ],
  "author": {
    "name": "Gerwin Klein",
    "email": "gerwin.klein@proofcraft.systems",
    "time": "Wed Nov 17 10:35:19 2021 +1100"
  },
  "committer": {
    "name": "Gerwin Klein",
    "email": "gerwin@doclsf.de",
    "time": "Wed Nov 17 10:40:21 2021 +1100"
  },
  "message": "github: provide sel4test hw runs on PR\n\nThis is a straight copy from the seL4 repo. The list of platforms to\nrun should be factored out in the future before we distribute this\nworkflow over more repos.\n\nSigned-off-by: Gerwin Klein \u003cgerwin.klein@proofcraft.systems\u003e\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1fa0ae73a7a5ac36bae20e21f34bda708d4d0d66",
      "new_mode": 33188,
      "new_path": ".github/workflows/sel4test-hw.yml"
    },
    {
      "type": "modify",
      "old_id": "b54b78bb369899b454099a47f01d8f6dd3f3bcfb",
      "old_mode": 33188,
      "old_path": ".github/workflows/sel4test-sim.yml",
      "new_id": "65c4ffbb0495851fee119883d31dbc9b0657f262",
      "new_mode": 33188,
      "new_path": ".github/workflows/sel4test-sim.yml"
    }
  ]
}