Skip to content
Build and Test the Rust API

CONTRATCS: force success for necessary pointer predicates #3647

Sign in to view logs

CONTRATCS: force success for necessary pointer predicates

CONTRATCS: force success for necessary pointer predicates #3647

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-macos-13-cmake-clang-rust
1m 25s
check-ubuntu-22_04-cmake-clang-rust
1m 58s
3m 23s