Skip to content
Build and Test the Rust API

CONTRATCS: force success for necessary pointer predicates #3648

Sign in to view logs

CONTRATCS: force success for necessary pointer predicates

CONTRATCS: force success for necessary pointer predicates #3648

Run time

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