New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cppcheck 2.8 removed the dependency on z3 #2784

Merged

matt335672 merged 1 commit into neutrinolabs:v0.9 from matt335672:v0_9_z3

Sep 4, 2023

Merged

Cppcheck 2.8 removed the dependency on z3 #2784

Cppcheck 2.8 removed the dependency on z3

Cirrus CI / FreeBSD succeeded Sep 4, 2023 in 1m 35s

Task Summary

Task successfully finished!

Details

✅ 00:04 clone
✅ 00:54 prepare
✅ 00:19 configure
✅ 00:12 build
✅ 00:01 install
✅ 00:01 test

View more details on Cirrus CI