Skip to content

Guard Docs Pages deployment when GitHub Pages is disabled #45

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Copilot wants to merge 4 commits into from
Closed

Guard Docs Pages deployment when GitHub Pages is disabled #45

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
ac75e45
Initial plan
Copilot Sep 29, 2026
0093f5d
Skip docs deploy when Pages is disabled
Copilot Sep 29, 2026
a6b31c9
Remove optional Pages environment URL binding
Copilot Sep 29, 2026
ce42172
Gate Pages deploy job on Pages availability
Copilot Sep 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 29 additions & 2 deletions .github/workflows/docs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,13 +39,40 @@ jobs:
with:
path: docs/doxygen/html

check_pages:
name: Check GitHub Pages status
runs-on: ubuntu-latest
outputs:
enabled: ${{ steps.pages_status.outputs.enabled }}
steps:
- name: Check whether GitHub Pages is enabled
id: pages_status
uses: actions/github-script@v7
with:
script: |
try {
await github.rest.repos.getPages({
owner: context.repo.owner,
repo: context.repo.repo
});
core.setOutput('enabled', 'true');
core.info('GitHub Pages is enabled.');
} catch (error) {
if (error.status === 404) {
core.setOutput('enabled', 'false');
core.warning('GitHub Pages is not enabled for this repository; skipping deployment.');
} else {
throw error;
}
}

deploy:
name: Deploy to GitHub Pages
needs: build
needs: [build, check_pages]
if: needs.check_pages.outputs.enabled == 'true'
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy
id: deployment
Expand Down
Loading