Skip to content

Merge branch 'main' into final-cache #234

Merge branch 'main' into final-cache

Merge branch 'main' into final-cache #234

Triggered via push July 29, 2026 13:32
Status Failure
Total duration 50m 41s
Artifacts

kani.yml

on: push
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 8 warnings
regression (ubuntu-24.04)
Process completed with exit code 101.
regression (ubuntu-22.04)
The strategy configuration was canceled because "regression.ubuntu-24_04" failed
regression (ubuntu-22.04)
The operation was canceled.
regression (macos-14)
The strategy configuration was canceled because "regression.ubuntu-24_04" failed
regression (macos-14)
The operation was canceled.
regression (macos-15-intel)
The strategy configuration was canceled because "regression.ubuntu-24_04" failed
regression (macos-15-intel)
The operation was canceled.
regression (ubuntu-24.04-arm)
The strategy configuration was canceled because "regression.ubuntu-24_04" failed
regression (ubuntu-24.04-arm)
The operation was canceled.
regression (macos-14)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
regression (macos-14)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
regression (macos-14)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.6
regression (macos-15-intel)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
regression (macos-15-intel)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
regression (macos-15-intel)
Already linked: /usr/local/Cellar/python@3.14/3.14.6
regression (macos-15-intel)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
regression (macos-15-intel)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.