z3: Update to Rust edition 2018. Collapse some imports. #421
waywardmonkeysrust.yml
on: push
check-formatting
15s
build
1m 32s
build_on_wasm
28m 26s
run_clippy
16m 33s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically