One of the PRs gives a global dockerfile in the root of the repo meaning that you enter the docker container which the file creates and everything is installed for you (magic, riscv_toolchain, PDKS etc...)