No files were found with the provided path: *.bottle.*. No artifacts will be uploaded.

/usr/bin/env cp -pR /tmp/d20240109-9173-3x78lc/NEWS.md /tmp/cvc5-20240109-9173-11ygcp/NEWS.md /usr/bin/env cp -pR /tmp/d20240109-9173-3x78lc/.github/. /tmp/cvc5-20240109-9173-11ygcp/.github /usr/bin/env cp -pR /tmp/d20240109-9173-3x78lc/.clang-format /tmp/cvc5-20240109-9173-11ygcp/.clang-format /usr/bin/env cp -pR /tmp/d20240109-9173-3x78lc/contrib/. /tmp/cvc5-20240109-9173-11ygcp/contrib ==> python3 -m venv --system-site-packages --without-pip /home/linuxbrew/.linuxbrew/Cellar/cvc5/1.1.0/libexec /usr/bin/env tar --extract --no-same-owner --file /home/runner/.cache/Homebrew/downloads/c18681289175fb45367956fde79823bf2d98bab623266b25e1d8f5b8b5845bfe--tomli-2.0.1.tar.gz --directory /tmp/d20240109-9173-twjlo8 /usr/bin/env cp -pR /tmp/d20240109-9173-twjlo8/tomli-2.0.1/. /tmp/cvc5--tomli-20240109-9173-icbx19/tomli-2.0.1 ==> python3 -m pip --python=/home/linuxbrew/.linuxbrew/Cellar/cvc5/1.1.0/libexec/bin/python install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile /tmp/cvc5--tomli-20240109-9173-icbx19/tomli-2.0.1 Using pip 23.3.1 from /home/linuxbrew/.linuxbrew/lib/python3.11/site-packages/pip (python 3.11) Processing /tmp/cvc5--tomli-20240109-9173-icbx19/tomli-2.0.1 Installing build dependencies: started Running command pip subprocess to install build dependencies Collecting flit_core<4,>=3.2.0 Downloading flit_core-3.9.0.tar.gz (41 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 41.9/41.9 kB 4.3 MB/s eta 0:00:00 Getting requirements to build wheel: started Getting requirements to build wheel: finished with status 'done' Preparing metadata (pyproject.toml): started Preparing metadata (pyproject.toml): finished with status 'done' Building wheels for collected packages: flit_core Building wheel for flit_core (pyproject.toml): started Building wheel for flit_core (pyproject.toml): finished with status 'done' Created wheel for flit_core: filename=flit_core-3.9.0-py3-none-any.whl size=63141 sha256=8fd999a566a59096c730cb98c30539f9b6753439349d816fb9d3521529b66b2a Stored in directory: /home/runner/.cache/Homebrew/pip_cache/wheels/47/cd/4c/dc7b02280dee4a308a2d233ed5ecff21e9a7425ff2da704a4f Successfully built flit_core Installing collected packages: flit_core Successfully installed flit_core-3.9.0 [notice] A new release of pip is available: 23.3.1 -> 23.3.2 [notice] To update, run: python -m pip install --upgrade pip Installing build dependencies: finished with status 'done' Getting requirements to build wheel: started Running command Getting requirements to build wheel Getting requirements to build wheel: finished with status 'done' Preparing metadata (pyproject.toml): started Running command Preparing metadata (pyproject.toml) Preparing metadata (pyproject.toml): finished with status 'done' Building wheels for collected packages: tomli Building wheel for tomli (pyproject.toml): started Running command Building wheel for tomli (pyproject.toml) Building wheel for tomli (pyproject.toml): finished with status 'done' Created wheel for tomli: filename=tomli-2.0.1-py3-none-any.whl size=12758 sha256=cb4d5965e613ca8f0d1a7b8f864046a6ef5ef3be018217bf64e537e748a42a75 Stored in directory: /home/runner/.cache/Homebrew/pip_cache/wheels/7c/f9/94/d64dd12c9d78d4b4082ed18135b590736bffb21111e383e3a4 Successfully built tomli Installing collected packages: tomli Successfully installed tomli-2.0.1 [notice] A new release of pip is available: 23.3.1 -> 23.3.2 [notice] To update, run: python -m pip install --upgrade pip /usr/bin/env tar --extract --no-same-owner --file /home/runner/.cache/Homebrew/downloads/dfdb96641843ef6e2e4a8d8eed61f0511f7023b5eab34139d90b5718141f324c--pyparsing-3.1.1.tar.gz --directory /tmp/d20240109-9173-1rpkoc /usr/bin/env cp -pR /tmp/d20240109-9173-1rpkoc/pyparsing-3.1.1/. /tmp/cvc5--pyparsing-20240109-9173-dpwnaf/pyparsing-3.1.1 ==> python3 -m pip --python=/home/linuxbrew/.linuxbrew/Cellar/cvc5/1.1.0/libexec/bin/python install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile /tmp/cvc5--pyparsing-20240109-9173

/usr/bin/env cp -pR /private/tmp/d20240109-10238-czv97i/.mailmap /private/tmp/cvc5-20240109-10238-ufj80w/.mailmap /usr/bin/env cp -pR /private/tmp/d20240109-10238-czv97i/.git/. /private/tmp/cvc5-20240109-10238-ufj80w/.git /usr/bin/env cp -pR /private/tmp/d20240109-10238-czv97i/src/. /private/tmp/cvc5-20240109-10238-ufj80w/src ==> python3 -m venv --system-site-packages --without-pip /usr/local/Cellar/cvc5/1.1.0/libexec /usr/bin/env tar --extract --no-same-owner --file /Users/runner/Library/Caches/Homebrew/downloads/c18681289175fb45367956fde79823bf2d98bab623266b25e1d8f5b8b5845bfe--tomli-2.0.1.tar.gz --directory /private/tmp/d20240109-10238-vmbl9m /usr/bin/env cp -pR /private/tmp/d20240109-10238-vmbl9m/tomli-2.0.1/. /private/tmp/cvc5--tomli-20240109-10238-jtmka5/tomli-2.0.1 ==> python3 -m pip --python=/usr/local/Cellar/cvc5/1.1.0/libexec/bin/python install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile /private/tmp/cvc5--tomli-20240109-10238-jtmka5/tomli-2.0.1 Using pip 23.3.1 from /usr/local/lib/python3.11/site-packages/pip (python 3.11) Processing /private/tmp/cvc5--tomli-20240109-10238-jtmka5/tomli-2.0.1 Installing build dependencies: started Running command pip subprocess to install build dependencies Collecting flit_core<4,>=3.2.0 Downloading flit_core-3.9.0.tar.gz (41 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 41.9/41.9 kB 1.2 MB/s eta 0:00:00 Getting requirements to build wheel: started Getting requirements to build wheel: finished with status 'done' Preparing metadata (pyproject.toml): started Preparing metadata (pyproject.toml): finished with status 'done' Building wheels for collected packages: flit_core Building wheel for flit_core (pyproject.toml): started Building wheel for flit_core (pyproject.toml): finished with status 'done' Created wheel for flit_core: filename=flit_core-3.9.0-py3-none-any.whl size=63141 sha256=8fd999a566a59096c730cb98c30539f9b6753439349d816fb9d3521529b66b2a Stored in directory: /Users/runner/Library/Caches/Homebrew/pip_cache/wheels/47/cd/4c/dc7b02280dee4a308a2d233ed5ecff21e9a7425ff2da704a4f Successfully built flit_core Installing collected packages: flit_core Successfully installed flit_core-3.9.0 [notice] A new release of pip is available: 23.3.1 -> 23.3.2 [notice] To update, run: python -m pip install --upgrade pip Installing build dependencies: finished with status 'done' Getting requirements to build wheel: started Running command Getting requirements to build wheel Getting requirements to build wheel: finished with status 'done' Preparing metadata (pyproject.toml): started Running command Preparing metadata (pyproject.toml) Preparing metadata (pyproject.toml): finished with status 'done' Building wheels for collected packages: tomli Building wheel for tomli (pyproject.toml): started Running command Building wheel for tomli (pyproject.toml) Building wheel for tomli (pyproject.toml): finished with status 'done' Created wheel for tomli: filename=tomli-2.0.1-py3-none-any.whl size=12758 sha256=cb4d5965e613ca8f0d1a7b8f864046a6ef5ef3be018217bf64e537e748a42a75 Stored in directory: /Users/runner/Library/Caches/Homebrew/pip_cache/wheels/93/f6/a1/d6480ab665c984da74df99a811296aeeebc32dce25f499b5f5 Successfully built tomli Installing collected packages: tomli Successfully installed tomli-2.0.1 [notice] A new release of pip is available: 23.3.1 -> 23.3.2 [notice] To update, run: python -m pip install --upgrade pip /usr/bin/env tar --extract --no-same-owner --file /Users/runner/Library/Caches/Homebrew/downloads/dfdb96641843ef6e2e4a8d8eed61f0511f7023b5eab34139d90b5718141f324c--pyparsing-3.1.1.tar.gz --directory /private/tmp/d20240109-10238-7d47id /usr/bin/env cp -pR /private/tmp/d20240109-10238-7d47id/pyparsing-3.1.1/. /private/tmp/cvc5--pyparsing-20240109-10238-da66up/pyparsing-3.1.1 ==> python3 -m pip --python=/usr/local/Cellar/cvc5/1.1.0/libexec/bin/python install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile /pri