Add proof logger interface (#11243) · HanielB/cvc5@8514715

Triggered via push December 2, 2024 12:28

HanielB

main

Status Success

Total duration 46m 41s

Artifacts 1

ci.yml

on: push

Matrix: builds

Produced during runtime

Name	Size
documentation Expired	4.85 MB