On 03-09-2022 18:43, Maxime Devos wrote:

> TODO: check that pulling still works and that
> "./pre-inst-env guix lint --checker=derivation" doesn't report porblems.

(The linter is currently running in the background)

Greetings,
Maxime.