Build and Test the Rust API

Mark CBMC cbmc-5.88.0. #1237

Sign in to view logs

Triggered via pull request July 20, 2023 10:18

opened #7812

NlightNFotis:new_cbmc_release-5.88.0

Status Success

Total duration 29m 42s

Artifacts –

pull-request-check-rust-api.yaml

on: pull_request

check-ubuntu-22_04-cmake-clang-rust

check-macos-12-cmake-clang-rust