fix: do not cleanup thread all the time while doing parallel proof gen #3216

Sign in to view logs

Triggered via pull request September 4, 2024 10:23

ctrlc03

synchronize #1808

fix/cleanup-threads-correctly

Status Success

Total duration 1m 58s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze