z3: Update to Rust edition 2018. Collapse some imports. #419
waywardmonkeysrust.yml
on: pull_request
check-formatting
6s
build
1m 23s
build_on_wasm
28m 32s
run_clippy
18m 23s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically