Merge pull request #266 from eseiler/infra/docs

[INFRA] Run doc CI in container
seqan · Oct 23, 2024 · 0c80b6d · 0c80b6d
2 parents 60ff406 + 7dca128
commit 0c80b6d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci_documentation.yml b/.github/workflows/ci_documentation.yml
@@ -26,6 +26,10 @@ jobs:
     name: Documentation
     runs-on: ubuntu-latest
     if: ( github.repository_owner == 'seqan' || github.event_name == 'workflow_dispatch' || github.event.label.name == 'lint' ) && github.event.action != 'closed'
+    container:
+      image: ghcr.io/seqan/gcc-14
+      volumes:
+        - /home/runner:/home/runner
     steps:
       - name: Checkout
         if: github.event_name != 'pull_request_target'