Include documentation PDFs in GitHub releases

[Copilot]

Releases were missing the guide.pdf file built by the build-docs job.

Changes

Modified .github/workflows/release.yaml:

• Job dependency: Added build-docs to release job's needs array so it waits for documentation build to complete
• Artifact download: Added step to download documentation artifact to artifacts folder alongside existing build artifacts
• Release inclusion: Existing artifacts/**/* pattern now captures documentation PDFs automatically

The workflow now includes documentation PDFs in release artifacts without requiring any changes to the release creation step.

Original prompt

---

This section details on the original issue you should resolve

<issue_title>[Feature]: Releases Include Guide PDF</issue_title>
<issue_description>### Problem Statement

Releases don't include the guide.pdf file built by the build-docs job.

Proposed Solution

Update release.yaml so it:

• has the 'release' job depends on the 'build-docs' job
• downloads the 'documentation' artifacts from it to the 'artifacts' folder (which will contain all documentation PDFs including guide.pdf)
• continue to make the release as usual with the 'artifacts/**/*' pattern so the release contains the documentation PDFs.

Alternatives Considered

No response

Usage Examples

Benefits

Improved instructions for users

Priority

Medium - Would improve my workflow

Willingness to Contribute

Yes, I can submit a pull request

Additional Context

No response

Checklist

• I have searched existing issues to ensure this is not a duplicate
• I have provided a clear description of the feature
• I have explained why this feature would be useful</issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes [Feature]: Releases Include Guide PDF #59

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.