)]}'
{
  "commit": "37e9c13b37c39ff274e5c9f33417adaa72f49784",
  "tree": "591519686383099493ddd244669d90eb9ee35b9b",
  "parents": [
    "ae316ee706cd7b7227d383d717f1969b74e193d9"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Aug 11 16:56:03 2023 +1000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 16 09:53:02 2023 +0200"
  },
  "message": "test: compiling from the interpreter, with common imports\n\nhacky fix to windows test\n\nInclude test from #2407 as well\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "211aebc82b5cdf00f15d83729df84f53fb39c543",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "165d4e3b06bd8a4d17c24026b565d45cc73562d0",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Compile.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "605cc3688309a1dfea34e05476d209db94565172",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Import1.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "605cc3688309a1dfea34e05476d209db94565172",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Import2.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2a4f622de8eb89979c36337796f7754290b905e1",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c806906421d3bde5f7106b307f941ce8c7f23fb6",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Main_with_Import2.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "443c3368209407bd883b61a992afff6691ef0ed1",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Main_with_Import2_and_eval.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "37c7e32d7c855a8971107798ac77d37f021d7b79",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/Main_with_eval.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8ec038226ff6e8719a498393e6c3d7f2628fd1bd",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/Frontend/RegisterOption.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "96c88a73053fd8675312e87b17ea90b78f2549fc",
      "new_mode": 33188,
      "new_path": "tests/pkg/frontend/lakefile.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b5136d180b65a0a452ace091341e2bc0af29e1f5",
      "new_mode": 33261,
      "new_path": "tests/pkg/frontend/test.sh"
    }
  ]
}