@Paolo Giarrusso that was exactly the issue, thanks very much!
Théo Zimmermann said:
FWIW, the idea was that by including SerAPI in the Docker-Coq images, it would make it easy to use with Alectryon, since Alectryon is quick to install with pip.
You're right, but I didn't immediately realize SerAPI was part of the image I was using, and then I already had everything set up, so I thought I might as well go ahead with only alectryon and finmap. It feels wasteful to install dependencies in CI, even if it takes negligible resources :sweat_smile:
Ana de Almeida Borges has marked this topic as resolved.
Last updated: Aug 19 2022 at 20:03 UTC