Skip to content
Build and Test the Rust API

Use goto-analyzer to add assumptions, assertions and code contracts #1723

Sign in to view logs

Use goto-analyzer to add assumptions, assertions and code contracts

Use goto-analyzer to add assumptions, assertions and code contracts #1723

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-macos-12-cmake-clang-rust
11m 53s
check-ubuntu-22_04-cmake-clang-rust
2m 59s
14m 52s