The operation was canceled.

The strategy configuration was canceled because "dafny-nightly-test-vectors-java.testJava.TestVectors_8_macos-13" failed

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

Treating docker as a formula. For the cask, use homebrew/cask/docker-desktop or specify the `--cask` flag. To silence this message, use the `--formula` flag.