Skip to content

Update to 1.1.0, simplify Python handling. #10

Update to 1.1.0, simplify Python handling.

Update to 1.1.0, simplify Python handling. #10

Triggered via pull request December 13, 2023 22:50
@mpreinermpreiner
synchronize #4
fix-issue-3
Status Success
Total duration 13m 26s
Artifacts 1

tests.yml

on: pull_request
Matrix: test-bot
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
`brew install --verbose --build-bottle cvc5/cvc5/cvc5` failed on macOS Ventura (13)!: Formula/cvc5.rb#L26
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/contrib/. /private/tmp/cvc5-20231213-11335-et72u6/contrib /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/README.md /private/tmp/cvc5-20231213-11335-et72u6/README.md /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/COPYING /private/tmp/cvc5-20231213-11335-et72u6/COPYING /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.gitignore /private/tmp/cvc5-20231213-11335-et72u6/.gitignore /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/CONTRIBUTING.md /private/tmp/cvc5-20231213-11335-et72u6/CONTRIBUTING.md /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/examples/. /private/tmp/cvc5-20231213-11335-et72u6/examples /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.style.yapf /private/tmp/cvc5-20231213-11335-et72u6/.style.yapf /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.clang-format /private/tmp/cvc5-20231213-11335-et72u6/.clang-format /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.github/. /private/tmp/cvc5-20231213-11335-et72u6/.github /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/configure.sh /private/tmp/cvc5-20231213-11335-et72u6/configure.sh /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/THANKS /private/tmp/cvc5-20231213-11335-et72u6/THANKS /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.mailmap /private/tmp/cvc5-20231213-11335-et72u6/.mailmap /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.git/. /private/tmp/cvc5-20231213-11335-et72u6/.git /usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/src/. /private/tmp/cvc5-20231213-11335-et72u6/src ==> python3 -m venv --system-site-packages --without-pip /usr/local/Cellar/cvc5/1.0.8/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/d20231213-11335-7hn8kf /usr/bin/env cp -pR /private/tmp/d20231213-11335-7hn8kf/tomli-2.0.1/. /private/tmp/cvc5--tomli-20231213-11335-rvsiuh/tomli-2.0.1 ==> python3 -m pip --python=/usr/local/Cellar/cvc5/1.0.8/libexec/bin/python install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile /private/tmp/cvc5--tomli-20231213-11335-rvsiuh/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-20231213-11335-rvsiuh/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 2.8 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=360cd0dd12dbba9cc4351a3b60f8b80a83ffd6c3a75bc7cf001bb36957e670fd 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 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
test-bot (macos-13)
No files were found with the provided path: *.bottle.*. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size
bottles Expired
24.2 MB