2023-08-25T17:26:32,531 Created temporary directory: /tmp/pip-build-tracker-jp4wxkwh
2023-08-25T17:26:32,532 Initialized build tracking at /tmp/pip-build-tracker-jp4wxkwh
2023-08-25T17:26:32,532 Created build tracker: /tmp/pip-build-tracker-jp4wxkwh
2023-08-25T17:26:32,532 Entered build tracker: /tmp/pip-build-tracker-jp4wxkwh
2023-08-25T17:26:32,533 Created temporary directory: /tmp/pip-wheel-en6kq0e5
2023-08-25T17:26:32,536 Created temporary directory: /tmp/pip-ephem-wheel-cache-ganqg1cs
2023-08-25T17:26:32,562 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-25T17:26:32,566 2 location(s) to search for versions of lean-dojo:
2023-08-25T17:26:32,566 * https://pypi.org/simple/lean-dojo/
2023-08-25T17:26:32,566 * https://www.piwheels.org/simple/lean-dojo/
2023-08-25T17:26:32,566 Fetching project page and analyzing links: https://pypi.org/simple/lean-dojo/
2023-08-25T17:26:32,567 Getting page https://pypi.org/simple/lean-dojo/
2023-08-25T17:26:32,568 Found index url https://pypi.org/simple/
2023-08-25T17:26:32,620 Fetched page https://pypi.org/simple/lean-dojo/ as application/vnd.pypi.simple.v1+json
2023-08-25T17:26:32,623   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-08-25T17:26:32,624   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-08-25T17:26:32,625   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-08-25T17:26:32,625   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-08-25T17:26:32,625   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-08-25T17:26:32,626   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-08-25T17:26:32,626   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/76/cb/0c6592225c8392700b4d083954996870227b2fab3f0d1505512290277f9b/lean_dojo-1.1.2-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-08-25T17:26:32,627   Found link https://files.pythonhosted.org/packages/31/0c/54e8de0d26abf473f1d0454b17a1b4699568f8900a40e2e7c6b2afb87de0/lean_dojo-1.1.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9), version: 1.1.2
2023-08-25T17:26:32,627   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/05/d5/3be78e9d6877209c75f429c1ca0517ee291462305a559dfd2f2ddb55d13a/lean_dojo-1.2.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-08-25T17:26:32,628   Found link https://files.pythonhosted.org/packages/e5/46/4d5d28cf708fe0f7c11885447c37e832f894cdc592c0ab7f87ee8206e06a/lean_dojo-1.2.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9), version: 1.2.0
2023-08-25T17:26:32,628   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/a2/31/62b01e922c83d826324a146b6cee8649932461b3a35e55710221c4d6ac35/lean_dojo-1.2.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2023-08-25T17:26:32,629   Found link https://files.pythonhosted.org/packages/1f/b8/00f4732d2bb1eff1aa18c49d33e2223369afec4528c328ee34687f8723bc/lean_dojo-1.2.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9), version: 1.2.1
2023-08-25T17:26:32,629   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/a0/45/33f64a40b25fa8f28dbb47c0e69db199324741671e7f6d6ef02158d54918/lean_dojo-1.2.2-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2023-08-25T17:26:32,630   Found link https://files.pythonhosted.org/packages/df/0e/3937a3d4c9ccdd6a16484c76b78f60546de357e4805e7be05940fc6174aa/lean_dojo-1.2.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9), version: 1.2.2
2023-08-25T17:26:32,630 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-dojo/
2023-08-25T17:26:32,631 Getting page https://www.piwheels.org/simple/lean-dojo/
2023-08-25T17:26:32,632 Found index url https://www.piwheels.org/simple/
2023-08-25T17:26:32,802 Fetched page https://www.piwheels.org/simple/lean-dojo/ as text/html
2023-08-25T17:26:32,805   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.1-py3-none-any.whl#sha256=3ec1337aeb64fda8a5c0a82c67a98a208526c7ee586163c18dda2db372e79552 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2023-08-25T17:26:32,805   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.0-py3-none-any.whl#sha256=9e57f6207b8572e5a8cb35ec94a6ec80e3a3dc6e9caa3b208b679975f14a4894 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-08-25T17:26:32,806   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.1.2-py3-none-any.whl#sha256=6becd99b3fd6a817304abb1562bb12f0cae1f162feb42f748a475b70f0c70091 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-08-25T17:26:32,806   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.1.1-py3-none-any.whl#sha256=86b591e064cc381e6e90ebe4148b8de25a0f38c120533718730631d9d580164a (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2023-08-25T17:26:32,806   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-08-25T17:26:32,806   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-08-25T17:26:32,806 Skipping link: not a file: https://www.piwheels.org/simple/lean-dojo/
2023-08-25T17:26:32,806 Skipping link: not a file: https://pypi.org/simple/lean-dojo/
2023-08-25T17:26:32,825 Given no hashes to check 1 links for project 'lean-dojo': discarding no candidates
2023-08-25T17:26:32,841 Collecting lean-dojo==1.2.2
2023-08-25T17:26:32,843   Created temporary directory: /tmp/pip-unpack-c5gliunp
2023-08-25T17:26:33,157   Downloading lean_dojo-1.2.2.tar.gz (73 kB)
2023-08-25T17:26:33,279   Added lean-dojo==1.2.2 from https://files.pythonhosted.org/packages/df/0e/3937a3d4c9ccdd6a16484c76b78f60546de357e4805e7be05940fc6174aa/lean_dojo-1.2.2.tar.gz to build tracker '/tmp/pip-build-tracker-jp4wxkwh'
2023-08-25T17:26:33,284   Created temporary directory: /tmp/pip-build-env-ngsqv72e
2023-08-25T17:26:33,294   Installing build dependencies: started
2023-08-25T17:26:33,295   Running command pip subprocess to install build dependencies
2023-08-25T17:26:34,459   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.9/site-packages/pip (python 3.9)
2023-08-25T17:26:34,817   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-25T17:26:35,295   Collecting hatchling
2023-08-25T17:26:35,315     Using cached https://www.piwheels.org/simple/hatchling/hatchling-1.18.0-py3-none-any.whl (75 kB)
2023-08-25T17:26:35,441   Collecting editables>=0.3 (from hatchling)
2023-08-25T17:26:35,466     Using cached https://www.piwheels.org/simple/editables/editables-0.5-py3-none-any.whl (5.1 kB)
2023-08-25T17:26:35,638   Collecting packaging>=21.3 (from hatchling)
2023-08-25T17:26:35,657     Using cached https://www.piwheels.org/simple/packaging/packaging-23.1-py3-none-any.whl (48 kB)
2023-08-25T17:26:35,768   Collecting pathspec>=0.10.1 (from hatchling)
2023-08-25T17:26:35,785     Using cached https://www.piwheels.org/simple/pathspec/pathspec-0.11.2-py3-none-any.whl (29 kB)
2023-08-25T17:26:35,907   Collecting pluggy>=1.0.0 (from hatchling)
2023-08-25T17:26:35,924     Using cached https://www.piwheels.org/simple/pluggy/pluggy-1.2.0-py3-none-any.whl (17 kB)
2023-08-25T17:26:36,044   Collecting tomli>=1.2.2 (from hatchling)
2023-08-25T17:26:36,060     Using cached https://www.piwheels.org/simple/tomli/tomli-2.0.1-py3-none-any.whl (12 kB)
2023-08-25T17:26:36,246   Collecting trove-classifiers (from hatchling)
2023-08-25T17:26:36,263     Using cached https://www.piwheels.org/simple/trove-classifiers/trove_classifiers-2023.8.7-py3-none-any.whl (13 kB)
2023-08-25T17:26:37,815   Installing collected packages: trove-classifiers, tomli, pluggy, pathspec, packaging, editables, hatchling
2023-08-25T17:26:38,630     Creating /tmp/pip-build-env-ngsqv72e/overlay/bin
2023-08-25T17:26:38,632     changing mode of /tmp/pip-build-env-ngsqv72e/overlay/bin/hatchling to 755
2023-08-25T17:26:38,653   Successfully installed editables-0.5 hatchling-1.18.0 packaging-23.1 pathspec-0.11.2 pluggy-1.2.0 tomli-2.0.1 trove-classifiers-2023.8.7

2023-08-25T17:26:38,665   [notice] A new release of pip is available: 23.1.2 -> 23.2.1
2023-08-25T17:26:38,665   [notice] To update, run: python3 -m pip install --upgrade pip
2023-08-25T17:26:38,893   Installing build dependencies: finished with status 'done'
2023-08-25T17:26:38,898   Getting requirements to build wheel: started
2023-08-25T17:26:38,899   Running command Getting requirements to build wheel
2023-08-25T17:26:39,198   Getting requirements to build wheel: finished with status 'done'
2023-08-25T17:26:39,203   Created temporary directory: /tmp/pip-modern-metadata-ky0l1qq9
2023-08-25T17:26:39,205   Preparing metadata (pyproject.toml): started
2023-08-25T17:26:39,206   Running command Preparing metadata (pyproject.toml)
2023-08-25T17:26:39,785   Preparing metadata (pyproject.toml): finished with status 'done'
2023-08-25T17:26:39,792   Source in /tmp/pip-wheel-en6kq0e5/lean-dojo_baa833f827244b619719ac58672573c7 has version 1.2.2, which satisfies requirement lean-dojo==1.2.2 from https://files.pythonhosted.org/packages/df/0e/3937a3d4c9ccdd6a16484c76b78f60546de357e4805e7be05940fc6174aa/lean_dojo-1.2.2.tar.gz
2023-08-25T17:26:39,793   Removed lean-dojo==1.2.2 from https://files.pythonhosted.org/packages/df/0e/3937a3d4c9ccdd6a16484c76b78f60546de357e4805e7be05940fc6174aa/lean_dojo-1.2.2.tar.gz from build tracker '/tmp/pip-build-tracker-jp4wxkwh'
2023-08-25T17:26:39,800 Created temporary directory: /tmp/pip-unpack-x33iyr2i
2023-08-25T17:26:39,801 Building wheels for collected packages: lean-dojo
2023-08-25T17:26:39,806   Created temporary directory: /tmp/pip-wheel-u_jo5kfn
2023-08-25T17:26:39,806   Destination directory: /tmp/pip-wheel-u_jo5kfn
2023-08-25T17:26:39,808   Building wheel for lean-dojo (pyproject.toml): started
2023-08-25T17:26:39,809   Running command Building wheel for lean-dojo (pyproject.toml)
2023-08-25T17:26:39,940   Building wheel for lean-dojo (pyproject.toml): finished with status 'done'
2023-08-25T17:26:39,946   Created wheel for lean-dojo: filename=lean_dojo-1.2.2-py3-none-any.whl size=78217 sha256=1110a17782ea6627a2868b1d81411ec56077c6ea6e78454001d9afffaac35cc7
2023-08-25T17:26:39,947   Stored in directory: /tmp/pip-ephem-wheel-cache-ganqg1cs/wheels/74/7a/0a/bf13be3d3002bfd3a67ee1215306ab3314205aa3e3eb00c429
2023-08-25T17:26:39,959 Successfully built lean-dojo
2023-08-25T17:26:39,965 Removed build tracker: '/tmp/pip-build-tracker-jp4wxkwh'