mattpolzin2/idris-docker repository overview

See the GitHub repository here: https://github.com/mattpolzin/idris-docker⁠

GitHub actions are responsible for building the nightly and idv images once a day.