optimize: add parameter configuration API #471
waywardmonkeysrust.yml
on: push
check-formatting
11s
build_on_wasm
24m 18s
run_clippy
2m 54s
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3
Annotations
8 errors
|
build (macos-latest)
Process completed with exit code 101.
|
|
run_clippy
unable to access 'https://github.com/prove-rs/z3.rs/': Could not resolve host: github.com
|
|
run_clippy
unable to access 'https://github.com/prove-rs/z3.rs/': Could not resolve host: github.com
|
|
run_clippy
unable to access 'https://github.com/prove-rs/z3.rs/': Could not resolve host: github.com
|
|
run_clippy
The process '/usr/local/bin/git' failed with exit code 128
|
|
build_with_vcpkg_installed_z3 (macos)
Process completed with exit code 101.
|
|
build_with_vcpkg_installed_z3 (windows)
The operation was canceled.
|
|
build_with_vcpkg_installed_z3 (linux)
The operation was canceled.
|