Skip to content
Build and Test the Rust API

SMT2: bvnor, bvnand are binary only; add bvxnor #3398

Sign in to view logs

SMT2: bvnor, bvnand are binary only; add bvxnor

SMT2: bvnor, bvnand are binary only; add bvxnor #3398

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-ubuntu-22_04-cmake-clang-rust
1m 47s
check-macos-13-cmake-clang-rust
3m 15s
5m 2s