search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Compilation of readthedocs fails #1058

Closed fblanqui closed 7 months ago

fblanqui commented 7 months ago

The generation of the manual fails for 4 months: https://readthedocs.org/projects/lambdapi/builds/?page=2 .

fblanqui commented 7 months ago

Hi Abdelghani. Could you please have a look at this?

Alidra commented 7 months ago

Hi Frédéric, The build has been fixed. You can have a look and approve for merge.

fblanqui commented 7 months ago

fix in #1059

fblanqui commented 7 months ago

Building the doc is still failing: https://readthedocs.org/projects/alambdapi/builds/ .

Alidra commented 7 months ago

Actually, the failing builds are for those branches that are not yet fixed on the forked repository. Please have a look here : https://readthedocs.org/projects/lambdapi/builds/