Implement static-link-z3 and download-z3 flag
#30
yasuo-ozurust.yml
on: push
check-formatting
6s
build_on_wasm
2m 38s
run_clippy
1m 12s
Matrix: build
Annotations
7 errors
|
run_clippy
Process completed with exit code 101.
|
|
build (windows-latest, build)
The run was canceled by @yasuo-ozu.
|
|
build (windows-latest, build)
The operation was canceled.
|
|
build (ubuntu-latest, build)
The run was canceled by @yasuo-ozu.
|
|
build (ubuntu-latest, build)
The operation was canceled.
|
|
build (macos-latest, build)
The run was canceled by @yasuo-ozu.
|
|
build (macos-latest, build)
The operation was canceled.
|