)]}'
{
  "id": "d1736fc6e19bf9b1d013c8426dc22628bae08d38",
  "repo": "3p/sel4proj/sel4runtime",
  "revision": "6e1f8136e0627e1a349a6dc08879c2999fb9957d",
  "path": ".github/workflows/push.yml"
}