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

Sign in to view logs

Triggered via push July 31, 2024 07:46

Status Success

Total duration 1m 1s

Artifacts –

audit.yml

on: push