Skip to content

Disable GitHub Pages deployment on Pull Requests#28

Merged
ACken2 merged 1 commit intomainfrom
feature/skip-page-deployment-at-PR
Nov 22, 2025
Merged

Disable GitHub Pages deployment on Pull Requests#28
ACken2 merged 1 commit intomainfrom
feature/skip-page-deployment-at-PR

Conversation

@ACken2
Copy link
Owner

@ACken2 ACken2 commented Nov 22, 2025

Description

This PR modifies the pages.yml workflow to prevent it from triggering on Pull Requests.

Motivation

The GitHub Pages deployment workflow requires write permissions to push the built artifacts to the gh-pages branch. These permissions are not granted to Pull Requests (especially from forks), causing this workflow to fail on every PR.

Changes

  • Removed pull_request from the on: triggers in .github/workflows/pages.yml.
  • The deployment workflow will now only execute when code is successfully merged (pushed) to the main branch.

@gemini-code-assist
Copy link

Note

Gemini is unable to generate a summary for this pull request due to the file types involved not being currently supported.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 19595848339

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 19594992481: 0.0%
Covered Lines: 371
Relevant Lines: 371

💛 - Coveralls

@ACken2 ACken2 changed the title Skip page deployment at pull request to main Disable GitHub Pages deployment on Pull Requests Nov 22, 2025
@ACken2 ACken2 merged commit 9a5cea7 into main Nov 22, 2025
5 checks passed
@ACken2 ACken2 deleted the feature/skip-page-deployment-at-PR branch November 22, 2025 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants