Skip to content
Back to pull request #8408

Solver factory: all solvers are stack_decision_proceduret #3160

Sign in to view logs

Solver factory: all solvers are stack_decision_proceduret

Solver factory: all solvers are stack_decision_proceduret #3160

Triggered via pull request August 20, 2024 08:23
@tautschnigtautschnig
synchronize #8408
tautschnig:solver-factory-no-dynamic_cast
Status Success
Total duration 13m 35s
Artifacts –

pull-request-check-rust-api.yaml

on: pull_request
check-ubuntu-22_04-cmake-clang-rust
1m 4s
check-ubuntu-22_04-cmake-clang-rust
check-macos-13-cmake-clang-rust
2m 7s
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.30.2 is already installed and up-to-date. To reinstall 3.30.2, run: brew reinstall cmake