joshuanianji / idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2
MIT License
13 stars 2 forks source link

Update Github Action deps #59

Closed joshuanianji closed 1 year ago

joshuanianji commented 1 year ago

Renovate is making each one a new PR which is annoying.

See: #47, #53, #54, #55, #56, #57