Kani CI

Add CI test for --use-local-toolchain #6385

Sign in to view logs

Triggered via pull request March 26, 2024 18:35

jaisnan

synchronize #3074

jaisnan:add-ci-test-use-local-toolchain

Status Success

Total duration 39m 18s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression