Skip to content
Rust

Implement static-link-z3 and download-z3 flag #31

Sign in to view logs

Implement static-link-z3 and download-z3 flag

Implement static-link-z3 and download-z3 flag #31

Triggered via push September 11, 2023 02:27
@yasuo-ozuyasuo-ozu
pushed 8cf4fdc
download_z3
Status Cancelled
Total duration 2m 42s
Artifacts –

rust.yml

on: push
check-formatting
5s
check-formatting
build_on_wasm
2m 12s
build_on_wasm
run_clippy
1m 15s
run_clippy
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

17 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 (windows-latest, download)
The run was canceled by @yasuo-ozu.
build (windows-latest, download)
The operation was canceled.
build (windows-latest, system)
The run was canceled by @yasuo-ozu.
build (windows-latest, system)
The operation was canceled.
build (macos-latest, system)
The run was canceled by @yasuo-ozu.
build (macos-latest, system)
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, download)
The run was canceled by @yasuo-ozu.
build (macos-latest, download)
The operation was canceled.
build (macos-latest, build)
The run was canceled by @yasuo-ozu.
build (macos-latest, build)
The operation was canceled.
build (ubuntu-latest, download)
The run was canceled by @yasuo-ozu.
build (ubuntu-latest, download)
The operation was canceled.