From 9153e715f41ac3c92ac2f9e8a1588c9f66951208 Mon Sep 17 00:00:00 2001
From: Ed <ed-xmos@users.noreply.github.com>
Date: Wed, 4 Oct 2023 13:18:13 +0100
Subject: [PATCH] Archive docs in workflow

---
 .github/workflows/docs.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 6f7f61e..c155acd 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -44,3 +44,10 @@ jobs:
       - name: Build documentation
         run: |
           docker run --rm -t -u "$(id -u):$(id -g)" -v ${{ github.workspace }}:/build -e PDF=1 -e REPO:/build -e EXCLUDE_PATTERNS=/build/doc/exclude_patterns.inc -e DOXYGEN_INCLUDE=/build/doc/Doxyfile.inc -e DOXYGEN_INPUT=ignore ${DOC_BUILDER_IMAGE}
+      - name: Save documentation artifacts
+        uses: actions/upload-artifact@v3
+        with:
+          name: fwk_io_docs
+          path: ./doc/_build
+          if-no-files-found: error # 'warn' or 'ignore' are also available, defaults to `warn` 
+          retention-days: 5