Build Doxygen Documentation

Contracts (DFCC) regression tests: use CaDiCaL #9043

Sign in to view logs

Triggered via pull request August 14, 2024 10:54

tautschnig

opened #8414

tautschnig:contracts-dfcc-cadical

Status Success

Total duration 1m 46s

Artifacts –

doxygen-check.yaml

on: pull_request