fix(ci): map Lean image names to Dockerfile paths

Author: morluto

.github/workflows/lean-images.yml

@@ -35,7 +35,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        image: [jacobian-lean-checker, jacobian-lean-repl-agent]
+        include:
+          - image: jacobian-lean-checker
+            directory: lean-checker
+          - image: jacobian-lean-repl-agent
+            directory: lean-repl-agent
     steps:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
         with:
@@ -45,7 +49,7 @@ jobs:
         uses: docker/build-push-action@53b7df96c91f9c12dcc8a07bcb9ccacbed38856a # v7
         with:
           context: .
-          file: containers/${{ matrix.image }}/Dockerfile
+          file: containers/${{ matrix.directory }}/Dockerfile
           platforms: ${{ env.PLATFORM }}
           load: true
           push: false
@@ -84,7 +88,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        image: [jacobian-lean-checker, jacobian-lean-repl-agent]
+        include:
+          - image: jacobian-lean-checker
+            directory: lean-checker
+          - image: jacobian-lean-repl-agent
+            directory: lean-repl-agent
     steps:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
         with:
@@ -111,7 +119,7 @@ jobs:
         uses: docker/build-push-action@53b7df96c91f9c12dcc8a07bcb9ccacbed38856a # v7
         with:
           context: .
-          file: containers/${{ matrix.image }}/Dockerfile
+          file: containers/${{ matrix.directory }}/Dockerfile
           platforms: ${{ env.PLATFORM }}
           push: true
           tags: ${{ steps.meta.outputs.tags }}