Skip to content

feat: QoL fixes, fix: CI url override#25

Merged
QEDK merged 4 commits intomainfrom
feat/qol-and-fix-citation
Mar 31, 2026
Merged

feat: QoL fixes, fix: CI url override#25
QEDK merged 4 commits intomainfrom
feat/qol-and-fix-citation

Conversation

@QEDK
Copy link
Copy Markdown
Collaborator

@QEDK QEDK commented Mar 31, 2026

  • bumps GH action versions
  • adds a config file during CI to store deployment URL (this was causing citation URLs to render incorrectly although the links were correct)
  • adds current deployment URL to Jekyll config
  • preloads Prism JS scripts
  • prefetches MIPs as needed

@QEDK QEDK self-assigned this Mar 31, 2026
Copilot AI review requested due to automatic review settings March 31, 2026 11:04
@QEDK QEDK added bug Something isn't working enhancement New feature or request labels Mar 31, 2026
@QEDK QEDK requested a review from mijovic March 31, 2026 11:04
Copy link
Copy Markdown
Contributor

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 improves the MIPs Jekyll site’s deployment correctness and perceived performance, primarily by ensuring the correct canonical site URL is available during CI builds and by optimizing client-side loading/navigation behavior.

Changes:

  • Updates the GitHub Pages workflow to generate an _config.deploy.yml during CI and build with a merged config.
  • Sets url / baseurl in Jekyll config for the GitHub Pages deployment target.
  • Updates the default layout to preload Prism assets and adds hover-based prefetching for internal links.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
.github/workflows/deploy-pages.yml Bumps action versions and writes a deployment URL config used during the Jekyll build.
_layouts/default.html Adds Prism preloads and introduces link-hover prefetching logic.
_config.yml Sets the production url and baseurl defaults for the GitHub Pages site.

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

@QEDK QEDK merged commit 8e3e7ac into main Mar 31, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants