Override CBMC version for now #65

Sign in to view logs

Triggered via push November 9, 2024 01:20

celinval

verify-iter-2

Status Success

Total duration 6m 24s

Artifacts –

rustc.yml

on: push

Matrix: build