Skip to content
CodeQL

Contracts (DFCC) regression tests: use CaDiCaL #6332

Sign in to view logs

Contracts (DFCC) regression tests: use CaDiCaL

Contracts (DFCC) regression tests: use CaDiCaL #6332

Triggered via pull request August 14, 2024 10:54
@tautschnigtautschnig
opened #8414
tautschnig:contracts-dfcc-cadical
Status Success
Total duration 33m 38s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in