Skip to content

Merge pull request #1189 from jakob-keller/docs-fixup #915

Merge pull request #1189 from jakob-keller/docs-fixup

Merge pull request #1189 from jakob-keller/docs-fixup #915

Triggered via push August 25, 2024 19:03
Status Success
Total duration 48s
Artifacts

pre-commit.yml

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