Skip to content

Merge pull request #1187 from jakob-keller/bump-sphinx #914

Merge pull request #1187 from jakob-keller/bump-sphinx

Merge pull request #1187 from jakob-keller/bump-sphinx #914

Triggered via push August 23, 2024 21:59
Status Success
Total duration 40s
Artifacts

pre-commit.yml

on: push
pre-commit
31s
pre-commit
Fit to window
Zoom out
Zoom in