Cppcheck 2.8 removed the dependency on z3 #1475
build.yml
on: pull_request
cppcheck
1m 43s
code formatting check
25s
Matrix: build_and_test