search

LPCIC / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
140 stars 51 forks source link

Informational: coq-elpi.dev fails in Coq Platform master CI #203

Closed MSoegtropIMC closed 3 years ago

MSoegtropIMC commented 3 years ago

FYI: coq-elpi.dev fails to build in Coq Platform master CI since 2 days (it did work before).

See GitHub CI Log

See Coq Platform tracker

gares commented 3 years ago

Fixed by the merge of #198