Use logs in `Adt_rel` · OCamlPro/alt-ergo@2799f7f

Triggered via pull request August 20, 2024 15:40

Halbaroth

synchronize #1207

Halbaroth:use-logs-adt

Status Success

Total duration 3m 15s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	1.16 MB
sphinx_doc Expired	3.25 MB