github-actions
released this
22 Jan 14:18
·
1 commit
to refs/heads/main
since this release
👀 What Changed
This is a direct follow-up release to v1.6 that fixes an oversight (#63) and simplifies the overall workflows (#62, $64, #65, #66).
Additionally, it updates the Z3 version used by default to 4.13.4
(#61).
This is tagged as a minor release because some configuration options have been removed and this will require updates in the consuming workflows.
🚀 Features and Enhancements
- 🔥 remove local version handling @burgholzer (#64)
🐛 Bug Fixes
- 🩹 fix checks in Python packaging workflow @burgholzer (#63)
🤖 CI
- 🔥 do not force
CIBW_BEFORE_ALL
for Z3 setup on manylinux @burgholzer (#66) - 🔥 remove emulated wheel builds @burgholzer (#65)
- 🔥 remove local version handling @burgholzer (#64)
- 🔥 remove unused workflow for individual Python tests @burgholzer (#62)
- 🩹 fix checks in Python packaging workflow @burgholzer (#63)
📦 Packaging
- 🔥 do not force
CIBW_BEFORE_ALL
for Z3 setup on manylinux @burgholzer (#66)
⬆️ Dependencies
- ⬆️ update default Z3 version to
4.13.4
@burgholzer (#61)
Full Changelog: v1.6.0...v1.7.0