Skip to content

kani-cov: A coverage tool for Kani #644

kani-cov: A coverage tool for Kani

kani-cov: A coverage tool for Kani #644

Triggered via pull request October 9, 2024 18:36
Status Success
Total duration 24m 31s
Artifacts

verify-std-check.yml

on: pull_request
Matrix: verify-std
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
verify-std (macos-14)
These files were overwritten during the `brew link` step:
verify-std (macos-14)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.0_1
verify-std (macos-14)
wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget
verify-std (macos-14)
jq 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall jq
verify-std (macos-14)
[email protected] 3.12.7_1 is already installed and up-to-date. To reinstall 3.12.7_1, run: brew reinstall [email protected]