Skip to content

Conversation

@mmcky
Copy link
Contributor

@mmcky mmcky commented Oct 20, 2025

This PR tests the new Chinese language support in sphinx-proof that was recently merged to the main branch of https://github.com/executablebooks/sphinx-proof.

Changes

  • Updated environment.yml to install sphinx-proof from GitHub main branch
  • Updated environment-cn.yml to install sphinx-proof from GitHub main branch

Testing

The CI will automatically test building the lectures with the new version. Please verify that:

  • The build completes successfully
  • Chinese text in sphinx-proof directives renders correctly
  • All proof, theorem, lemma, etc. directives work as expected

Once verified, we can consider updating to an official release version when available.

Install sphinx-proof directly from GitHub main branch to test the new
Chinese language support features that were recently merged.
@netlify
Copy link

netlify bot commented Oct 20, 2025

Deploy Preview for astonishing-narwhal-a8fc64 ready!

Name Link
🔨 Latest commit f93e0b9
🔍 Latest deploy log https://app.netlify.com/projects/astonishing-narwhal-a8fc64/deploys/68f5a13b23f2cb00087cd35d
😎 Deploy Preview https://deploy-preview-88--astonishing-narwhal-a8fc64.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

Set language to zh_CN in sphinx config to enable Chinese translations
for proof, theorem, lemma, and other sphinx-proof directives.
Also fix duplicate intersphinx_mapping key in config.
@mmcky mmcky changed the title Test sphinx-proof main branch with Chinese support TEST: sphinx-proof main branch with Chinese support Oct 20, 2025
@github-actions
Copy link

github-actions bot commented Oct 20, 2025

@github-actions github-actions bot temporarily deployed to pull request October 20, 2025 02:51 Inactive
@mmcky
Copy link
Contributor Author

mmcky commented Oct 20, 2025

Closing as tested on #62

@mmcky mmcky closed this Oct 20, 2025
@mmcky mmcky deleted the test-sphinx-proof-chinese branch October 20, 2025 03:35
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