Rust

z3-sys: Add some missing backticks to some comments. #524

Job	Run time
build_on_wasm	36m 54s
build (macos-latest)	35s
build_with_vcpkg_installed_z3 (linux)	1m 18s
build_with_bundled_z3 (linux)	14m 58s
build_with_vcpkg_installed_z3 (macos)	1m 2s
build (ubuntu-latest)	43s
build_with_bundled_z3 (macos)	14m 56s
build_with_vcpkg_installed_z3 (windows)	4m 43s
check-formatting	9s
build_with_bundled_z3 (windows)	17m 43s
run_clippy	27s
	1h 33m 28s

Provide feedback