Skip to content

Activity

Showing most recent first

Generate API documentation 4951137

github-actions[bot]pushed 1 commit to gh-pages • 29b3d89…0df06b5 • 
on Mar 15, 2024

Generate API documentation 4951137

github-actions[bot]pushed 1 commit to gh-pages • f2030b7…29b3d89 • 
on Mar 15, 2024

build: 0.16

rr-pushed 1 commit to master • a12cca9…4951137 • 
on Mar 15, 2024

Generate API documentation a12cca9

github-actions[bot]pushed 1 commit to gh-pages • 7544b60…f2030b7 • 
on Mar 15, 2024

parser: add a description property to docstrings

Pull request merge
rr-pushed 1 commit to master • 969b644…a12cca9 • 
on Mar 15, 2024

Generate API documentation 969b644

github-actions[bot]pushed 1 commit to gh-pages • 5347cd8…7544b60 • 
on Sep 15, 2023

misc: support Python 3.12 (#82)

Pull request merge
rr-pushed 1 commit to master • 703c6ca…969b644 • 
on Sep 15, 2023