Takeout: Developer Tools - ramirezfranciscof/aiida-core GitHub Wiki

Linux usage

If a process hangs and won't die with ctrl+c, you can hit ctrl+z to send it to the background and then you can run kill -9 %% to kill it.

CircleCI

It builds the documentation. To check it online, you can click on the details of the github test, which will take you to the circleCI page of the test run. There you can select the artifacts tab and you have all the links (you will probably want to start with html/index.html.