Skip to content

Conversation

@jaeheonji
Copy link
Member

This PR aims to address several issues currently present in our repository:

  • Our website relies on two components: Hugo and mdBook.
  • Currently, only the Hugo build is included in our workflows. Therefore, when there are changes to the documentation, we must build it locally and include the generated files in the MR.
  • After the gh-pages branch is created, the CNAME file must be manually committed.
  • The workflow runs every time there’s a push to the main branch, which can lead to unexpected deployments.

cc: @imsnif
related: #274

- Add mdBook build steps
- Add paths condition to prevent unnecessary builds
- Make CNMAE files to be generated automatically
@jaeheonji jaeheonji requested a review from Copilot November 2, 2025 17:10
Copy link

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 enhances the GitHub Pages deployment workflow by adding mdBook documentation build support and optimizing CI triggers. The workflow now builds mdBook documentation before Hugo, and only runs when relevant content files change.

  • Added mdBook build step to generate documentation into the static directory
  • Configured path-based workflow triggers to run only when documentation, content, SVG, or layout files change
  • Added CNAME configuration for custom domain deployment

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

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