Ubuntu environment containing the PICO toolchain. This image can be used for either local compilation or for CI/CD purposes.

Ensure you have a copy of the image

docker pull ghcr.io/ifilot/pico:v0.1.0

To use the image for compilation, it is recommended to launch a bash program and mount your current working directory on the home directory of the pico user.

docker run --volume ./docs:/data/docs --workdir /data/docs -it ghcr.io/ifilot/sphinx:v0.4.0 make html