Filtered by label: github_actions
Clear filter
#150 - ⬆️ Bump actions/setup-python from 5 to 6
Open 9 months ago
dependencies
github_actions
actions:actions/setup-python
5 → 6
#149 - Bump pypa/gh-action-pypi-publish from 1.12.4 to 1.13.0 in /.github/workflows
Merged 9 months ago • merged by mmcky
dependencies
github_actions
actions:pypa/gh-action-pypi-publish
1.12.4 → 1.13.0
minor
#148 - ⬆️ Bump codecov/codecov-action from 5.4.0 to 5.5.0
Merged 10 months ago • merged by mmcky
dependencies
github_actions
actions:codecov/codecov-action
5.4.0 → 5.5.0
minor
#147 - ⬆️ Bump actions/checkout from 4 to 5
Merged 10 months ago • merged by mmcky
dependencies
github_actions
actions:actions/checkout
4 → 5
#143 - ⬆️ Bump codecov/codecov-action from 5.4.0 to 5.4.3
Open about 1 year ago
dependencies
github_actions
actions:codecov/codecov-action
5.4.0 → 5.4.3
patch
#141 - ⬆️ Bump codecov/codecov-action from 5.4.0 to 5.4.2
Closed about 1 year ago • 1 comment
dependencies
github_actions
actions:codecov/codecov-action
5.4.0 → 5.4.2
patch
Repository Info
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary...
Language: PythonStars: 36
Forks: 22
License: MIT
Dependabot Stats
Total PRs: 7
Merged PRs: 0
Avg close time: N/A
Avg comments: 0
Merged PRs: 0
Avg close time: N/A
Avg comments: 0