Fix Dockerfile casing

aplr · aplr · commit 9607aa0d5b55 · 2024-09-18T17:01:43.000+01:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,6 +1,6 @@
 ARG LEAN_VERSION=4.8.0-rc2
 
-FROM ghcr.io/lambda-feedback/evaluation-function-base/lean:${LEAN_VERSION} as build
+FROM ghcr.io/lambda-feedback/evaluation-function-base/lean:${LEAN_VERSION} AS build
 
 COPY . .
 
