Skip to content
Build and Test the Rust API

Replace add_axioms_for_is_empty body with length(s) == 0 form #5392

Sign in to view logs

Replace add_axioms_for_is_empty body with length(s) == 0 form

Replace add_axioms_for_is_empty body with length(s) == 0 form #5392

Triggered via pull request June 9, 2026 18:46
@tautschnigtautschnig
synchronize #8915
tautschnig:fix-8019-add_axioms_for_is_empty
Status Success
Total duration 4h 9m 50s
Artifacts –

pull-request-check-rust-api.yaml

on: pull_request
check-ubuntu-22_04-cmake-clang-rust
10m 39s
check-ubuntu-22_04-cmake-clang-rust
check-macos-15-intel-cmake-clang-rust
16m 44s
check-macos-15-intel-cmake-clang-rust
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
check-macos-15-intel-cmake-clang-rust
ninja 1.13.2 is already installed and up-to-date. To reinstall 1.13.2, run: brew reinstall ninja
check-macos-15-intel-cmake-clang-rust
cmake 4.3.2 is already installed and up-to-date. To reinstall 4.3.2, run: brew reinstall cmake