Get rid of `stdcompat` · OCamlPro/alt-ergo@01ff469

Triggered via pull request July 31, 2024 12:57

Halbaroth

opened #1191

Status Success

Total duration 3m 51s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	1.11 MB
sphinx_doc Expired	3.25 MB