Deployment

Open the tools container if you haven't already:

DockerNix

make tools

nix develop

Build the lab:

make

Yes it's that simple!