Skip to content

Fix #1213 by unblocking rather than evaluating comparison (#1215) #237

Fix #1213 by unblocking rather than evaluating comparison (#1215)

Fix #1213 by unblocking rather than evaluating comparison (#1215) #237

Triggered via push August 4, 2026 16:25
Status Success
Total duration 29m 40s
Artifacts
Matrix: test-vehicle-rocq
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
Rocq / macOS - Rocq 9.1.1
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
Rocq / Linux - Rocq 9.1.1
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100