.github: Build devcontainer in CI

Author: TeddyAndrieux

.devcontainer/devcontainer.json

@@ -4,6 +4,9 @@
     "dockerfile": "Dockerfile",
     "options": [
       "--platform=linux/amd64"
+    ],
+    "cacheFrom": [
+      "type=gha,scope=devcontainer"
     ]
   },
   "features": {

.github/workflows/build-devcontainer.yaml

@@ -0,0 +1,43 @@
+name: build devcontainer
+
+on:
+  workflow_call:
+    inputs:
+      tags:
+        type: string
+        required: true
+        description: 'The tags to publish the image with'
+      skip:
+        type: boolean
+        required: false
+        default: false
+        description: 'Skip the build and publish'
+
+jobs:
+  build-and-publish-devcontainer:
+    runs-on: ubuntu-24.04
+    permissions:
+      contents: read
+      packages: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+      - name: Login to the registry
+        uses: docker/login-action@v3
+        with:
+          registry: ghcr.io
+          username: ${{ github.repository_owner }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+      - name: Build dev container
+        # NOTE: We only skip this and not the full Job
+        # otherwise step that "need" it will not be started
+        if: ${{ ! inputs.skip }}
+        uses: docker/build-push-action@v6
+        with:
+          context: .devcontainer/
+          push: true
+          tags: ghcr.io/${{ github.repository }}/devcontainer:${{ inputs.tags }}
+          cache-from: type=gha,scope=devcontainer
+          cache-to: type=gha,mode=max,scope=devcontainer