Skip to content
Build and Test the Rust API

Merge pull request #8273 from tautschnig/jbmc-unwinding-assertions #23

Sign in to view logs

Merge pull request #8273 from tautschnig/jbmc-unwinding-assertions

Merge pull request #8273 from tautschnig/jbmc-unwinding-assertions #23

Triggered via push May 20, 2024 15:35
@remi-delmas-3000remi-delmas-3000
pushed c320360
develop
Status Success
Total duration 14m 12s
Artifacts –

pull-request-check-rust-api.yaml

on: push
check-ubuntu-22_04-cmake-clang-rust
12m 10s
check-ubuntu-22_04-cmake-clang-rust
check-macos-13-cmake-clang-rust
13m 59s
check-macos-13-cmake-clang-rust
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
check-macos-13-cmake-clang-rust
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
check-macos-13-cmake-clang-rust
cmake 3.29.3 is already installed and up-to-date. To reinstall 3.29.3, run: brew reinstall cmake