# Seting up the development environment
To set up the development environment, open the .github/workflows/push.yaml file and follow all the steps. Some steps include commands to be run in the terminal, some use github actions. In that case, find a way to install the corresponding version of the listed program.
These are the external tools that this project depends on.