fix: Allow multiple `stub_verified`s on a single harness · model-checking/kani@817abd9

Re-run triggered January 2, 2025 04:21

#3805

Status Failure

Total duration 2m 37s

Artifacts –

verify-std-check.yml

on: pull_request

Matrix: verify-std

3 errors and 2 warnings

Process completed with exit code 1.

The job was canceled because "macos-14" failed.

Process completed with exit code 1.

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1