Skip to content

Add pkgdown configuration and update GitHub Actions for deployment #224

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.

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

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

stemangiola
Copy link
Collaborator

No description provided.

@stemangiola stemangiola requested a review from Copilot July 20, 2025 01:56
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR sets up pkgdown documentation site deployment for the sccomp R package. The changes configure pkgdown to generate a documentation website and deploy it to GitHub Pages using GitHub Actions.

  • Adds pkgdown configuration file with Bootstrap 5 template and deployment URL
  • Updates package description to include the documentation website URL
  • Modernizes GitHub Actions workflow to use direct deployment instead of the artifact-based approach
  • Excludes pkgdown-related files from R package builds

Reviewed Changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 2 comments.

File Description
_pkgdown.yml Adds pkgdown configuration with site URL and Bootstrap 5 template
DESCRIPTION Updates URL field to include the pkgdown documentation site
.github/workflows/workflow_with_cmdstanr.yml Replaces artifact-based deployment with direct GitHub Pages deployment
.Rbuildignore Excludes pkgdown configuration and output files from package builds

Comment on lines +133 to +138
if: github.event_name != 'pull_request' || github.head_ref == 'fix-github-pages'
uses: JamesIves/github-pages-deploy-action@v4.5.0
with:
path: ./docs

# Deploy job
deploy:
needs: build
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
clean: false
branch: gh-pages
folder: docs
Copy link
Preview

Copilot AI Jul 20, 2025

Choose a reason for hiding this comment

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

The hardcoded branch name 'fix-github-pages' in the conditional makes the workflow fragile. Consider using a more generic approach or removing this specific branch exception to avoid maintenance issues when branch names change.

Copilot uses AI. Check for mistakes.

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.

1 participant