Skip to content
Rust

Add high-level binding to create lambda consts #523

Sign in to view logs

Add high-level binding to create lambda consts

Add high-level binding to create lambda consts #523

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_on_wasm
36m 6s
build (macos-latest)
37s
build_with_bundled_z3 (linux)
15m 56s
build (ubuntu-latest)
44s
build_with_vcpkg_installed_z3 (linux)
1m 18s
build_with_bundled_z3 (macos)
13m 22s
check-formatting
4s
build_with_bundled_z3 (windows)
21m 41s
run_clippy
32s
build_with_vcpkg_installed_z3 (macos)
1m 8s
build_with_vcpkg_installed_z3 (windows)
4m 59s
1h 36m 27s