...
This will take you to the DEVsheds launchpad.
...
Before you can select a tool, you must first build your shed. A “shed” is a virtual machine (a container in fact), which has a copy of your source code.
Note: In this first release of DEVsheds, the source is cloned from the ‘master’ branch.
Click on the ‘Build Shed’ button to build your virtual machine.
...
If this is the first time you are building a shed for this repository, it will take a little longer the first time as a custom image for your container is built then pushed to the container registry. Subsequent sessions will reuse the prebuilt image to reduce startup time.
Note: Building images on demand allows for customisation of the image using optional configuration files in your project. See the next section on customisation for options.
Once the shed is built, the first two tool selections will be available.
...