Skip to content
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

Cherry-pick docs theme upgrade to docmain #1336

Merged
merged 1 commit into from
Apr 11, 2024
Merged

Conversation

CalMacCQ
Copy link
Contributor

@CalMacCQ CalMacCQ commented Apr 11, 2024

Description

Doing a cherry pick of the theme version bump in #1334 to the docmain branch.

This means we can get the upgraded theme into the website build without waiting for a new release of pytket

Related issues

Please mention any github issues addressed by this PR.

Checklist

  • I have performed a self-review of my code.
  • I have commented hard-to-understand parts of my code.
  • I have made corresponding changes to the public API documentation.
  • I have added tests that prove my fix is effective or that my feature works.
  • I have updated the changelog with any user-facing changes.

@CalMacCQ CalMacCQ changed the base branch from develop to docmain April 11, 2024 12:45
Copy link
Contributor

@isobelhooper isobelhooper left a comment

Choose a reason for hiding this comment

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

Sounds good!

@CalMacCQ CalMacCQ merged commit bfb3abf into docmain Apr 11, 2024
27 checks passed
@CalMacCQ CalMacCQ deleted the cherry-pick/docs_theme branch April 11, 2024 12:50
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