Cppcheck 2.8 removed the dependency on z3 #1480
build.yml
on: pull_request
cppcheck
1m 37s
code formatting check
23s
Matrix: build_and_test