diff --git a/ubuntu.Dockerfile b/ubuntu.Dockerfile index 9615b64..6a23f69 100644 --- a/ubuntu.Dockerfile +++ b/ubuntu.Dockerfile @@ -3,7 +3,7 @@ ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION} FROM $BASE_IMG as base -FROM ubuntu:20.04 +FROM ubuntu:24.04 # add idris2 and scheme from builder COPY --from=base /root/.idris2 /root/.idris2