2023-06-28T16:39:25,996 Created temporary directory: /tmp/pip-build-tracker-0i78362j
2023-06-28T16:39:25,997 Initialized build tracking at /tmp/pip-build-tracker-0i78362j
2023-06-28T16:39:25,997 Created build tracker: /tmp/pip-build-tracker-0i78362j
2023-06-28T16:39:25,997 Entered build tracker: /tmp/pip-build-tracker-0i78362j
2023-06-28T16:39:25,998 Created temporary directory: /tmp/pip-wheel-ffwkiviq
2023-06-28T16:39:26,001 Created temporary directory: /tmp/pip-ephem-wheel-cache-lg97sung
2023-06-28T16:39:26,023 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-06-28T16:39:26,027 2 location(s) to search for versions of lean-dojo:
2023-06-28T16:39:26,027 * https://pypi.org/simple/lean-dojo/
2023-06-28T16:39:26,027 * https://www.piwheels.org/simple/lean-dojo/
2023-06-28T16:39:26,027 Fetching project page and analyzing links: https://pypi.org/simple/lean-dojo/
2023-06-28T16:39:26,028 Getting page https://pypi.org/simple/lean-dojo/
2023-06-28T16:39:26,029 Found index url https://pypi.org/simple/
2023-06-28T16:39:26,104 Fetched page https://pypi.org/simple/lean-dojo/ as application/vnd.pypi.simple.v1+json
2023-06-28T16:39:26,106   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/18/07/1f69f56301d59647a82dd1723bf196c8a387ca551402baf4cccf190136a7/lean_dojo-1.0.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-06-28T16:39:26,107   Found link https://files.pythonhosted.org/packages/d0/06/8e33cbf68419de6c8f5c79df5f15a75c8e3efb795775317593d2e4cae640/lean_dojo-1.0.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9), version: 1.0.0
2023-06-28T16:39:26,107   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/74/bc/a7d66f90c53092c32678b4cc5e7bfb840fdfcc7eb108821421f385d9fcaf/lean_dojo-1.1.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-06-28T16:39:26,108   Found link https://files.pythonhosted.org/packages/cc/d7/c0bc01f1fedb49e0ba1be71e2968ca74f40703fbcfb65e71ab83bb4cfb07/lean_dojo-1.1.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9), version: 1.1.0
2023-06-28T16:39:26,108   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/e8/ce/113f1267f5896d80bc094fdf9ed62794272ec6f556cdb019051969de534c/lean_dojo-1.1.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-06-28T16:39:26,109   Found link https://files.pythonhosted.org/packages/48/13/82ca93bdc5aa153eaaff0bc404f74ebe56e03696cdb9c0841cc74c8ae777/lean_dojo-1.1.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9), version: 1.1.1
2023-06-28T16:39:26,109 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-dojo/
2023-06-28T16:39:26,109 Getting page https://www.piwheels.org/simple/lean-dojo/
2023-06-28T16:39:26,110 Found index url https://www.piwheels.org/simple/
2023-06-28T16:39:26,276 Fetched page https://www.piwheels.org/simple/lean-dojo/ as text/html
2023-06-28T16:39:26,277   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.1.0-py3-none-any.whl#sha256=87880902b9e1eacc298447a2cc1451c0aebc8a3687db8ccd1c77f3a5936bc31a (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-06-28T16:39:26,278   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.0.0-py3-none-any.whl#sha256=4ecf4736ea7ce6171987e4249dfb6600a634a5114429963bad0beea5be951207 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-06-28T16:39:26,278 Skipping link: not a file: https://www.piwheels.org/simple/lean-dojo/
2023-06-28T16:39:26,278 Skipping link: not a file: https://pypi.org/simple/lean-dojo/
2023-06-28T16:39:26,295 Given no hashes to check 1 links for project 'lean-dojo': discarding no candidates
2023-06-28T16:39:26,312 Collecting lean-dojo==1.1.1
2023-06-28T16:39:26,314   Created temporary directory: /tmp/pip-unpack-1_w16_1x
2023-06-28T16:39:26,456   Downloading lean_dojo-1.1.1.tar.gz (68 kB)
2023-06-28T16:39:26,555   Added lean-dojo==1.1.1 from https://files.pythonhosted.org/packages/48/13/82ca93bdc5aa153eaaff0bc404f74ebe56e03696cdb9c0841cc74c8ae777/lean_dojo-1.1.1.tar.gz to build tracker '/tmp/pip-build-tracker-0i78362j'
2023-06-28T16:39:26,560   Created temporary directory: /tmp/pip-build-env-agv2rwm0
2023-06-28T16:39:26,569   Installing build dependencies: started
2023-06-28T16:39:26,570   Running command pip subprocess to install build dependencies
2023-06-28T16:39:27,772   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.9/site-packages/pip (python 3.9)
2023-06-28T16:39:28,129   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-06-28T16:39:28,526   Collecting hatchling
2023-06-28T16:39:28,549     Using cached https://www.piwheels.org/simple/hatchling/hatchling-1.18.0-py3-none-any.whl (75 kB)
2023-06-28T16:39:28,640   Collecting editables>=0.3 (from hatchling)
2023-06-28T16:39:28,655     Using cached https://www.piwheels.org/simple/editables/editables-0.3-py3-none-any.whl (4.7 kB)
2023-06-28T16:39:28,827   Collecting packaging>=21.3 (from hatchling)
2023-06-28T16:39:28,845     Using cached https://www.piwheels.org/simple/packaging/packaging-23.1-py3-none-any.whl (48 kB)
2023-06-28T16:39:28,951   Collecting pathspec>=0.10.1 (from hatchling)
2023-06-28T16:39:28,968     Using cached https://www.piwheels.org/simple/pathspec/pathspec-0.11.1-py3-none-any.whl (29 kB)
2023-06-28T16:39:29,088   Collecting pluggy>=1.0.0 (from hatchling)
2023-06-28T16:39:29,104     Using cached https://www.piwheels.org/simple/pluggy/pluggy-1.2.0-py3-none-any.whl (17 kB)
2023-06-28T16:39:29,264   Collecting tomli>=1.2.2 (from hatchling)
2023-06-28T16:39:29,280     Using cached https://www.piwheels.org/simple/tomli/tomli-2.0.1-py3-none-any.whl (12 kB)
2023-06-28T16:39:29,465   Collecting trove-classifiers (from hatchling)
2023-06-28T16:39:29,481     Using cached https://www.piwheels.org/simple/trove-classifiers/trove_classifiers-2023.5.24-py3-none-any.whl (13 kB)
2023-06-28T16:39:31,038   Installing collected packages: trove-classifiers, tomli, pluggy, pathspec, packaging, editables, hatchling
2023-06-28T16:39:31,896     Creating /tmp/pip-build-env-agv2rwm0/overlay/bin
2023-06-28T16:39:31,898     changing mode of /tmp/pip-build-env-agv2rwm0/overlay/bin/hatchling to 755
2023-06-28T16:39:31,921   Successfully installed editables-0.3 hatchling-1.18.0 packaging-23.1 pathspec-0.11.1 pluggy-1.2.0 tomli-2.0.1 trove-classifiers-2023.5.24
2023-06-28T16:39:32,158   Installing build dependencies: finished with status 'done'
2023-06-28T16:39:32,163   Getting requirements to build wheel: started
2023-06-28T16:39:32,164   Running command Getting requirements to build wheel
2023-06-28T16:39:32,461   Getting requirements to build wheel: finished with status 'done'
2023-06-28T16:39:32,465   Created temporary directory: /tmp/pip-modern-metadata-4d9nsck0
2023-06-28T16:39:32,468   Preparing metadata (pyproject.toml): started
2023-06-28T16:39:32,469   Running command Preparing metadata (pyproject.toml)
2023-06-28T16:39:33,082   Preparing metadata (pyproject.toml): finished with status 'done'
2023-06-28T16:39:33,089   Source in /tmp/pip-wheel-ffwkiviq/lean-dojo_414b51e406ec4737bc0b50964303754b has version 1.1.1, which satisfies requirement lean-dojo==1.1.1 from https://files.pythonhosted.org/packages/48/13/82ca93bdc5aa153eaaff0bc404f74ebe56e03696cdb9c0841cc74c8ae777/lean_dojo-1.1.1.tar.gz
2023-06-28T16:39:33,090   Removed lean-dojo==1.1.1 from https://files.pythonhosted.org/packages/48/13/82ca93bdc5aa153eaaff0bc404f74ebe56e03696cdb9c0841cc74c8ae777/lean_dojo-1.1.1.tar.gz from build tracker '/tmp/pip-build-tracker-0i78362j'
2023-06-28T16:39:33,096 Created temporary directory: /tmp/pip-unpack-kgztqh4f
2023-06-28T16:39:33,097 Building wheels for collected packages: lean-dojo
2023-06-28T16:39:33,101   Created temporary directory: /tmp/pip-wheel-xk8mwrqw
2023-06-28T16:39:33,101   Destination directory: /tmp/pip-wheel-xk8mwrqw
2023-06-28T16:39:33,103   Building wheel for lean-dojo (pyproject.toml): started
2023-06-28T16:39:33,104   Running command Building wheel for lean-dojo (pyproject.toml)
2023-06-28T16:39:33,234   Building wheel for lean-dojo (pyproject.toml): finished with status 'done'
2023-06-28T16:39:33,240   Created wheel for lean-dojo: filename=lean_dojo-1.1.1-py3-none-any.whl size=72987 sha256=86b591e064cc381e6e90ebe4148b8de25a0f38c120533718730631d9d580164a
2023-06-28T16:39:33,241   Stored in directory: /tmp/pip-ephem-wheel-cache-lg97sung/wheels/96/75/be/ecf107a4272826ef90f1cc3098f668d657ab48c61535a78305
2023-06-28T16:39:33,253 Successfully built lean-dojo
2023-06-28T16:39:33,258 Removed build tracker: '/tmp/pip-build-tracker-0i78362j'