Merge pull request #88 from xmos/ed-xmos-patch-1

Archive docs in workflow

.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