We provided a docker image containing all the needed environment. In order to start working with the code, you need to type the following:
$ ./build
$ ./shell
Now, you are a inside a docker container in the workspace folder. The contents of this folder are shared as a docker volume, so, any updates to the files will be taken into account inside the container.
Type the following command:
$ cargo build
Type the following command:
$ cargo test
Type the following command:
$ cargo run