This repository was archived by the owner on Jan 25, 2026. It is now read-only.
This repository was archived by the owner on Jan 25, 2026. It is now read-only.
Development environment that does not use users' profile #2
Description
When developing the tutorials one needs to execute the notebooks. This is done impurely, and to prevent causing too much damage we should do this in a container or VM. At the very least, the users Nix profile should not be used.