search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ lint ] Make Dockerfile pass the linter & expose `PACK_DIR` variable #276

Closed buzden closed 5 months ago

buzden commented 5 months ago

PACK_DIR exposure is a backwards-compatible change since it anyway had to be set by the user with this particular value.

stefan-hoeck commented 5 months ago

Thanks.