fix(CP): Do not add unnecessary explanations to domains · OCamlPro/alt-ergo@fb06243

Triggered via pull request March 21, 2024 08:35

opened #1065

Status Success

Total duration 3m 46s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	990 KB
sphinx_doc Expired	3.21 MB