Skip to content

Fix the failing dependency installiation for website buidling#18

Merged
FanwangM merged 8 commits into
mainfrom
fix_actions
Dec 7, 2025
Merged

Fix the failing dependency installiation for website buidling#18
FanwangM merged 8 commits into
mainfrom
fix_actions

Conversation

@FanwangM

@FanwangM FanwangM commented Dec 7, 2025

Copy link
Copy Markdown
Contributor

This PR fixes the problem of requiring the installation of the whole package to build the Sphinx website.

Copilot AI review requested due to automatic review settings December 7, 2025 16:10

Copilot AI left a comment

Copy link
Copy Markdown

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 aims to fix failing dependency installation for the website/documentation building workflow by updating the GitHub Actions workflow configuration.

Key Changes:

  • Replaced CUDA toolkit installation with a more streamlined approach, removing unnecessary CUDA dependencies
  • Updated dependency installation to use pip-compile for generating a locked requirements file from pyproject.toml
  • Switched from siacodelabs/setup-pandoc to the official pandoc/actions/setup action

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/website.yaml Outdated
Comment thread .github/workflows/website.yaml Outdated
Comment on lines +63 to +65
(github.event_name == 'push' && github.ref == 'refs/heads/main') ||
(github.event.pull_request.merged == true &&
github.event.pull_request.base.ref == 'main')

Copilot AI Dec 7, 2025

Copy link

Choose a reason for hiding this comment

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

The condition github.event.pull_request.merged == true will not work as intended. When a pull request is merged, the triggered event is a push event to the main branch, not a pull_request event. The github.event.pull_request context will be null/undefined in push events. Since line 63 already handles the push to main case, lines 64-65 are unnecessary and will never evaluate to true. Consider removing these lines or clarifying the intended behavior.

Suggested change
(github.event_name == 'push' && github.ref == 'refs/heads/main') ||
(github.event.pull_request.merged == true &&
github.event.pull_request.base.ref == 'main')
github.event_name == 'push' && github.ref == 'refs/heads/main'

Copilot uses AI. Check for mistakes.
FanwangM and others added 3 commits December 7, 2025 11:14
@FanwangM FanwangM merged commit 624c94d into main Dec 7, 2025
1 check passed
@FanwangM FanwangM deleted the fix_actions branch December 7, 2025 16:17
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