Build BRiCk documentation in CI.

Author: rlepigre-skylabs-ai

.github/workflows/main.yml

@@ -69,7 +69,7 @@ jobs:
 
 
   workspace-success:
-    needs: [opam-build, full-build]
+    needs: [opam-build, build-brick-docs, full-build]
     if: always()
     runs-on: ubuntu-latest
     steps:
@@ -78,6 +78,8 @@ jobs:
         run: |
           echo "Checking that opam-build succeeded"
           ${{ needs.opam-build.result == 'success' && 'true' || 'false' }}
+          echo "Checking that build-brick-docs succeeded"
+          ${{ needs.build-brick-docs.result == 'success' && 'true' || 'false' }}
           echo "Checking that full-build succeeded"
           ${{ needs.full-build.result == 'success' && 'true' || 'false' }}
 
@@ -109,6 +111,44 @@ jobs:
           source ${{ env.BOILERPLATE }}
           ./fmdeps/fm-ci/docker/opam_build.sh "${{ env.ROCQ_LOG_PREFIX }}" '${{ env.OPAM_PACKAGES }}'
 
+  build-brick-docs:
+    needs: gen-job
+    defaults:
+      run:
+        shell: bash
+        working-directory: ${{ env.WORKDIR }}
+    runs-on:
+      group: FM
+    container:
+      image: "ghcr.io/skylabsai/workspace:fm-default"
+      options: "-v /cache:/cache:ro -v /home/coq/.ssh:/home/coq/.ssh -v /home/coq/dune_nfs/dune_cache:/home/coq/.cache --security-opt seccomp=/home/coq/seccomp.json"
+      env:
+        NJOBS: "16"
+        BASH_ENV: "/home/coq/.profile"
+    steps:
+      - name: "Download CI files"
+        uses: actions/download-artifact@v5
+        with:
+          name: ${{ env.CI_FILES_ARTIFACT }}
+      - name: "Prepare Workspace"
+        uses: ./actions/prepare_workspace
+        with:
+          FM_CI_TOKEN: ${{ secrets.FM_CI_TOKEN }}
+      - name: "Checkout Job Commits"
+        uses: ./actions/checkout_workspace
+      - id: build-brick-docs-job
+        name: "Build BRiCk docs"
+        run: |
+          source ${{ env.BOILERPLATE }}
+          cd fmdeps/BRiCk
+          git submodule update --init
+          make -j ${NJOBS} doc
+          mv doc/sphinx/_build/html ${{ env.SCRATCHDIR }}/html
+      - name: "Upload static files as artifact"
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: ${{ env.SCRATCHDIR }}/html
+
   full-build:
     needs: gen-job
     defaults: