Write queries to files in SMTLIB format #506
cibuildwheel.yml
on: pull_request
Matrix: build_wheels
Publish package to GitHub Releases
0s
Publish package to PyPI
0s
Annotations
1 error and 3 warnings
Build wheels on ubuntu-latest
The job running on runner GitHub Actions 58 has exceeded the maximum execution time of 360 minutes.
|
Build wheels on macos-latest
Bumping MACOSX_DEPLOYMENT_TARGET (10.9) to the minimum required (11.0).
|
Build wheels on macos-latest
Bumping MACOSX_DEPLOYMENT_TARGET (10.9) to the minimum required (11.0).
|
Build wheels on macos-latest
Bumping MACOSX_DEPLOYMENT_TARGET (10.9) to the minimum required (11.0).
|