CI

Update CBMC to v6.1.1 (#90) #295

Sign in to view logs

Triggered via push July 30, 2024 05:06

main

Status Success

Total duration 14m 8s

Billable time 2m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint

Annotations

1 warning

cbmc (macos-latest)

Failed to restore: Cache service responded with 429