Rust

ci: Update vcpkg and install-llvm actions (#296) #487

Job	Run time
build_on_wasm	9m 42s
build (macos-latest)	29s
build_with_bundled_z3 (linux)	12m 11s
build (ubuntu-latest)	30s
build_with_vcpkg_installed_z3 (linux)	1m 39s
build_with_bundled_z3 (macos)	10m 25s
check-formatting	7s
build_with_vcpkg_installed_z3 (macos)	1m 12s
build_with_bundled_z3 (windows)	16m 48s
build_with_vcpkg_installed_z3 (windows)	5m 45s
run_clippy	27s
	59m 15s

Provide feedback