Deployment

The project is deployed using github actions. The documentation about the deployment can be found here.