chore(BV, CP): Refactor propagation mechanism · OCamlPro/alt-ergo@9efef42

Triggered via pull request August 6, 2024 07:50

synchronize #1185

Status Success

Total duration 9m 56s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	1.14 MB
sphinx_doc Expired	3.25 MB