Skip to content
Build and Test the Rust API

[CONTRACTS] Detect loop locals with goto_rw in DFCC #3349

Sign in to view logs

[CONTRACTS] Detect loop locals with goto_rw in DFCC

[CONTRACTS] Detect loop locals with goto_rw in DFCC #3349

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-macos-13-cmake-clang-rust
22m 31s
check-ubuntu-22_04-cmake-clang-rust
9m 43s
32m 14s