Stream: Miscellaneous

Topic: ✔ Docker image with Alectryon


view this post on Zulip Ana de Almeida Borges (May 31 2022 at 09:32):

@Paolo Giarrusso that was exactly the issue, thanks very much!

view this post on Zulip Ana de Almeida Borges (May 31 2022 at 09:35):

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:

view this post on Zulip Notification Bot (May 31 2022 at 09:37):

Ana de Almeida Borges has marked this topic as resolved.


Last updated: Aug 19 2022 at 20:03 UTC