Nightly docker builds of master of idris2.
Find the images on Dockerhub:
The latest tag should be HEAD of master at https://github.com/idris-lang/Idris2.
docker pull snazzybucket/idris2:latest
$ docker run --rm -it snazzybucket/idris2:latest idris2
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.2.1
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help
Welcome to Idris 2. Enjoy yourself!
Main>
There is also docker tags in the [git describe --tags](https://git-scm.com/docs/git-describe) format, eg:
docker pull snazzybucket/idris2:v0.7.0-3-gac266b73f
This repo also includes a docker image with idris2api installed.
docker pull snazzybucket/idris2api:latest
The image is hosted at https://hub.docker.com/r/snazzybucket/idris2, and is created from the Dockerfile here.
Since the container is built nightly, not every master commit will be built. It should be possible to get a recent enough commit should you need one, and if there's a very recent change, it'll be at most 1 day till there's a docker image containing it.
If there's been no commits to master, the images are still rebuilt. I'm not sure if the docker image SHAs will remain the same, but if you pull say tag :v0.7.0-3-gac266b73f twice and get different SHAs, that's probably what happened.
The idris2 binary in this image is the chez-scheme version.
The idris2api image is hosted here: https://hub.docker.com/r/snazzybucket/idris2api