Sponsored Content
Skip to content

fix: Fix docs deployment for pull requests - #6482

Merged
legleux merged 1 commit into
developfrom
legleux/fix-docs-build-in-prs
Mar 5, 2026
Merged

fix: Fix docs deployment for pull requests#6482
legleux merged 1 commit into
developfrom
legleux/fix-docs-build-in-prs

Conversation

@legleux

@legleux legleux commented Mar 5, 2026

Copy link
Copy Markdown
Contributor

High Level Overview of Change

Fix so the docs build works in pull requests.

Context of Change

Splits the publish-docs workflow into build and deploy jobs so that the github-pages environment is only associated with the deploy job.

Previously the environment was on the single job, causing GitHub to reject the workflow for pull requests due to environment protection rules, even though deployment was guarded by a step-level condition.

Type of Change

  • Bug fix (non-breaking change which fixes an issue)

@legleux
legleux requested a review from bthomee March 5, 2026 05:40
@legleux legleux added the Trivial Simple change with minimal effect, or already tested. Only needs one approval. label Mar 5, 2026

@bthomee bthomee left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let me know if the repository settings need to be updated as well.

@legleux
legleux merged commit 08e7344 into develop Mar 5, 2026
1 check passed
@legleux
legleux deleted the legleux/fix-docs-build-in-prs branch March 5, 2026 08:12
@mvadari mvadari added this to the 3.2.0 milestone May 20, 2026
beartec-jpg pushed a commit to beartec-jpg/FalconLedger that referenced this pull request Jun 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Trivial Simple change with minimal effect, or already tested. Only needs one approval.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants