Workflow for building AE image

Signed-off-by: Xudong Sun <[email protected]>

.github/workflows/ae.yml

@@ -0,0 +1,25 @@
+name: Controller build
+on:
+  workflow_dispatch:
+env:
+  IMAGE_NAME: ${{ github.repository }}
+jobs:
+  build-ae-image:
+    runs-on: ubuntu-20.04
+    permissions:
+      contents: read
+      packages: write
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+      - name: Log into registry ghcr.io
+        run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u "${{ github.actor }}" --password-stdin
+      - name: Build artifact evaluation image
+        run: |
+          cp docker/ae/Dockerfile .
+          docker build -t ghcr.io/${{ env.IMAGE_NAME }}/ae:latest .
+          docker tag ghcr.io/${{ env.IMAGE_NAME }}/ae:latest ghcr.io/${{ env.IMAGE_NAME }}/ae:${{ github.sha }}
+      - name: Push artifact evaluation image
+        run: |
+          docker push ghcr.io/${{ env.IMAGE_NAME }}/ae:latest
+          docker push ghcr.io/${{ env.IMAGE_NAME }}/ae:${{ github.sha }}

docker/ae/Dockerfile

@@ -0,0 +1,9 @@
+FROM ghcr.io/vmware-research/verifiable-controllers/verus:latest as builder
+
+WORKDIR /anvil
+
+SHELL ["/bin/bash", "-c"]
+
+COPY . .
+
+RUN apt install -y pkg-config libssl-dev