Kani Format Check

Revert "Test performance with CBMC using CaDiCaL 2.0.0" #395

Sign in to view logs

Triggered via push July 31, 2024 07:46

tautschnig

cbmc-6

Status Success

Total duration 3m 7s

Artifacts –

format-check.yml

on: push