Closed github-actions[bot] closed 8 months ago
Test run for the website update after changes to the automated scripts.
This PR is auto-generated by create-pull-request using the .github/workflows/update-website.yml workflow.
.github/workflows/update-website.yml
This confirms that combining PR #851 + #852 fixes the build issues seen in those PRs when not combined.
Closing as #851/#852 have now been merged.
Test run for the website update after changes to the automated scripts.
This PR is auto-generated by create-pull-request using the
.github/workflows/update-website.yml
workflow.