Merge branch 'develop' into main

This commit is contained in:
Oliver Booth 2023-04-13 02:36:04 +01:00
commit 4639fbd6a4
No known key found for this signature in database
GPG Key ID: 20BEB9DC87961025
1 changed files with 1 additions and 1 deletions

View File

@ -13,7 +13,7 @@ jobs:
uses: actions/checkout@v3
- name: Copy favicon
run: cp brandin_Icon.png docfx_project/images/favicon.png
run: cp branding_Icon.png docfx_project/images/favicon.png
- name: Build documentation
uses: nikeee/docfx-action@v1.0.0