Skip to content
Build and Test the Rust API

[CONTRACTS] Support for Kani Loop Contracts #2662

Sign in to view logs

[CONTRACTS] Support for Kani Loop Contracts

[CONTRACTS] Support for Kani Loop Contracts #2662

Triggered via pull request April 23, 2024 18:39
@qinhepingqinheping
synchronize #8260
qinheping:loop_contracts_for_kani
Status Success
Total duration 1m 53s
Artifacts –

pull-request-check-rust-api.yaml

on: pull_request
check-ubuntu-22_04-cmake-clang-rust
1m 39s
check-ubuntu-22_04-cmake-clang-rust
check-macos-13-cmake-clang-rust
1m 38s
check-macos-13-cmake-clang-rust
Fit to window
Zoom out
Zoom in