Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
This is an alternative approach to almond-sh/docker-images#1.
The main differences are:
The Dockerfile makes it easy to create a docker image from a locally built kernel by setting
Right now it does a
Edit: the condition of the docker stage wasn't changed, so it's still only built for releases.