-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: executablebooks/sphinx-proof
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.12.3
dependencies
Pull requests that update a dependency file
#133
opened Dec 9, 2024 by
dependabot
bot
Loading…
⬆️ Bump codecov/codecov-action from 4.5.0 to 5.1.1
dependencies
Pull requests that update a dependency file
#132
opened Dec 9, 2024 by
dependabot
bot
Loading…
Translated cross references to proof types, added missing Corollary.json file and added German translations
#126
opened Nov 9, 2024 by
dtenbrinck
Loading…
2
Support for Exercises directive & Added Chinese translation (zh_CN)
#90
opened Sep 13, 2022 by
11Haoyu
Loading…
ProTip!
Adding no:label will show everything without a label.