Closed Remi-Gau closed 2 months ago
This pull request addresses issue #4401 by implementing a new workflow to trigger the hosting of documentation on CircleCI after the documentation build completes successfully. The changes include modifications to the existing GitHub Actions workflow and the addition of new scripts and workflows to facilitate this process.
Files | Changes |
---|---|
.github/workflows/build-docs.yml .github/workflows/trigger-hosting.yml |
Updated and added GitHub Actions workflows to trigger documentation hosting on CircleCI after successful documentation build. |
build_tools/github/trigger_hosting.sh |
Added a new script to handle the triggering of CircleCI jobs for hosting documentation, including logic to determine the branch and pull request number. |
👋 @Remi-Gau Thanks for creating a PR!
Until this PR is ready for review, you can include the [WIP] tag in its title, or leave it as a github draft.
Please make sure it is compliant with our contributing guidelines. In particular, be sure it checks the boxes listed below.
Closes #XXXX
(see our documentation on PR structure)doc/changes/latest.rst
(see our documentation on PR structure)For new features:
For bug fixes:
We will review it as quick as possible, feel free to ping us with questions if needed.
Changes proposed in this pull request:
-
Summary by Sourcery
This pull request introduces a new GitHub Actions workflow to automate the triggering of documentation hosting jobs on CircleCI. It includes a script to manage the triggering process, ensuring the correct branch and pull request number are used.