[ci] move Docker build test job to GitHub actions

Signed-off-by: Gary Guo <[email protected]>

.github/workflows/ci.yml

@@ -155,3 +155,20 @@ jobs:
           suggest_fixes: 'false'
           config_file: ${{ env.verible_config }}
           extra_args: "--waiver_files=verible_waiver"
+
+  build_docker_containers:
+    name: Build Docker Containers
+    runs-on: ubuntu-20.04
+    needs: quick_lint
+    steps:
+      - uses: actions/checkout@v4
+      - name: Build Developer Utility Container
+        uses: docker/build-push-action@v6
+        with:
+          context: .
+          file: util/container/Dockerfile
+        continue-on-error: true
+      - name: Build Documentation Redirector Container
+        uses: docker/build-push-action@v6
+        with:
+          context: site/redirector/landing

azure-pipelines.yml

@@ -643,25 +643,3 @@ jobs:
       addChangeLog: false
       assets: |
           $(Build.ArtifactStagingDirectory)/dist-final/*
-
-- job: build_docker_containers
-  displayName: "Build Docker Containers"
-  pool:
-    vmImage: ubuntu-20.04
-  dependsOn:
-    - lint
-  steps:
-  - template: ci/checkout-template.yml
-  - task: Docker@2
-    displayName: Build Developer Utility Container
-    continueOnError: True
-    inputs:
-      command: build
-      Dockerfile: ./util/container/Dockerfile
-      buildContext: .
-  - task: Docker@2
-    displayName: Build Documentation Redirector Container
-    inputs:
-      command: build
-      Dockerfile: ./site/redirector/landing/Dockerfile
-      buildContext: ./site/redirector/landing