Booster: Only check SMT prelude in `initSolver` #6706

Sign in to view logs

Triggered via pull request August 19, 2024 09:43

geo2a

synchronize #4040

georgy/no-smt-prelude-check

Status Failure

Total duration 29m 23s

Artifacts –

test.yml

on: pull_request

Formatting and Style

Nix / Integration

Stack / Unit Tests

Matrix: Nix / Unit Tests

Annotations

1 error and 2 warnings

Nix / Integration

Process completed with exit code 1.

Nix / Integration

No push credentials found. Ignoring the 'useDaemon' option.

Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)

bash 5.2.32 is already installed and up-to-date. To reinstall 5.2.32, run: brew reinstall bash