fix(opt): Only perform optimization when building a model · OCamlPro/alt-ergo@4275551

Triggered via pull request August 29, 2024 10:32

synchronize #1224

bclement-ocp:late-opt

Status Success

Total duration 3m 18s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	1.16 MB
sphinx_doc Expired	3.25 MB