z3-sys: Improve Z3_fpa_* intradoc linking.
#428
waywardmonkeysrust.yml
on: push
check-formatting
7s
build
42s
build_on_wasm
33m 12s
run_clippy
1m 28s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically