Remove instructions to install AE on Debian · OCamlPro/alt-ergo@75e5124

Triggered via pull request August 22, 2024 13:13

Halbaroth

opened #1217

Status Failure

Total duration 39s

Artifacts 1

documentation.yml

on: pull_request

1 error

The process '/opt/hostedtoolcache/opam/2.2.1/x86_64/opam' failed with exit code 2

Produced during runtime

Name	Size
sphinx_doc Expired	3.25 MB