Skip to content
Rust

build.rs: Minor tweaks. #435

Sign in to view logs

build.rs: Minor tweaks.

build.rs: Minor tweaks. #435

Triggered via push October 26, 2023 08:55
@waywardmonkeyswaywardmonkeys
pushed c4e21a4
master
Status Success
Total duration 48m 21s
Artifacts –

rust.yml

on: push
check-formatting
9s
check-formatting
build
1m 5s
build
build_on_wasm
48m 8s
build_on_wasm
run_clippy
1m 27s
run_clippy
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically
Fit to window
Zoom out
Zoom in