Nightly: CBMC Latest · model-checking/kani@0e03c1c

Triggered via schedule October 18, 2024 09:01

main

Status Success

Total duration 56m 7s

Artifacts –

cbmc-latest.yml

on: schedule

Matrix: regression

2 errors and 2 warnings

The `brew link` step did not complete successfully

The `brew link` step did not complete successfully

wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget

jq 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall jq