Add doc comment to Z3_solver_get_unsat_core. #446
waywardmonkeysrust.yml
on: push
check-formatting
9s
build_on_wasm
32m 32s
run_clippy
1m 4s
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3