Releases · executablebooks/sphinx-proof

What's Changed

[ENH] Adding translations infrastructure and a word translation by @vincentxavier in #71
Added italian translations by @dariomalchiodi in #78
Fixes in tests and pre-commit file by @AakashGfude in #82
Added translation to Czech language by @tomastalasek in #75
TEST: Added test for translations by @AakashGfude in #83
Support for assumption directive #73 by @shailesh1729 in #80
Fix typo in index.md by @nthiery in #96
MAINT: master to main, and various maintenance tasks by @mmcky in #99
⬆️ Bump pre-commit/action from 3.0.0 to 3.0.1 by @dependabot in #100
⬆️ Bump codecov/codecov-action from 3.1.4 to 4.5.0 by @dependabot in #101
⬆️ Bump actions/setup-python from 1 to 5 by @dependabot in #102
⬆️ Bump actions/checkout from 2 to 4 by @dependabot in #103
⬆️ Bump pypa/gh-action-pypi-publish from 1.3.1 to 1.9.0 by @dependabot in #104
MAINT: fix RTD by @mmcky in #107
MAINT: review of docs, minor maintenance, and bug fix by @mmcky in #105
ENH: Enable a minimal theme option for simpler admonition style by @mmcky in #106
[pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in #113
Change admonition title CSS specificity by @DrDrij in #111
⬆️ Bump pypa/gh-action-pypi-publish from 1.9.0 to 1.10.0 by @dependabot in #114
⬆️ Bump pypa/gh-action-pypi-publish from 1.10.0 to 1.10.1 by @dependabot in #115
RELEASE: Setup for release of v0.2.0 by @mmcky in #116
FIX: enable publish trigger by @mmcky in #117