CI: github actions for deploying documentation #237

[AkashS0510]

Pull Request Template

Description

• What changes are being made?

• Why are these changes necessary?

• Which issues or tickets does this PR close or relate to?

  • Related issue: Create github actions for deploying docs #237

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to change)
• Documentation update
• Other (please specify):

Checklist

• Code has been linted.
• Documentation has been updated (if needed).
• Tests have been added or updated (if needed).
• Any breaking changes have been communicated to the team.

Screenshots or Recordings (if applicable)

Additional Information

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[Copilot]

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

Comments suppressed due to low confidence (1)

.github/workflows/deploy_docs.yml:36

• Ensure that the publish_dir path matches the actual output directory of the built documentation. If the build step outputs to a subdirectory like 'documentation/build', update the path accordingly.

publish_dir: ./build