Fix semicolon_if_nothing_returned lints.
#440
waywardmonkeysrust.yml
on: push
check-formatting
8s
build_on_wasm
26m 28s
run_clippy
1m 7s
Matrix: build
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically