IRMA API Server docker container Build IRMA API Server in docker container: make build To run the server with the demo config: make run Run container bash shell: make shell To run irma server instance in dev mode from the container shell: # cd /irma/irma_api_server && gradle appRun TODO: