[CI] Add coqeal and Coq 8.20

LPCIC / coq-elpi

Coq plugin embedding elpi

GNU Lesser General Public License v2.1

137 stars 50 forks source link

[CI] Add coqeal and Coq 8.20 #685

Closed proux01 closed 2 weeks ago

proux01 commented 2 weeks ago

We are repeatedly experiencing universe issues in CoqEAL on master so we are considering adding it to Coq CI. Anyway, it should first be added to the CI here. This also update the coq-nix-toolbox and adds Coq 8.20.

proux01 commented 2 weeks ago

@gares CI "green": the doc failure is certainly unrelated and we get the known coqeal failure on master (until I manage to find time to fix it)