Skip to content
Rust

Improve CI speed. #423

Sign in to view logs

Improve CI speed.

Improve CI speed. #423

Triggered via pull request October 23, 2023 06:33
@waywardmonkeyswaywardmonkeys
opened #255
improve-ci-speed
Status Success
Total duration 39m 46s
Artifacts –

rust.yml

on: pull_request
check-formatting
26s
check-formatting
build
1m 23s
build
build_on_wasm
39m 34s
build_on_wasm
run_clippy
49s
run_clippy
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically
Fit to window
Zoom out
Zoom in