Get rid of the legacy frontend finally! · OCamlPro/alt-ergo@87e0538

Triggered via pull request October 7, 2024 10:58

Halbaroth

opened #1251

Halbaroth:die-die-die

Status Success

Total duration 3m 14s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	1.14 MB
sphinx_doc Expired	7.69 MB