`IDRIS_SHA` and `IDRIS_LSP_SHA` not populating

joshuanianji / idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2

MIT License

13 stars 2 forks source link

`IDRIS_SHA` and `IDRIS_LSP_SHA` not populating #72

Closed joshuanianji closed 10 months ago

joshuanianji commented 10 months ago

For latest builds, the IDRIS_SHA and IDRIS_LSP_SHA are not being populated. This is a pretty sneaky bug because the LSP and Idris2 base image still succeeds. I might want to make a test that the $IDRIS_SHA env vars are nonempty.