Skip to content

Merge pull request #15 from dmgav/configure-rtd #148

Merge pull request #15 from dmgav/configure-rtd

Merge pull request #15 from dmgav/configure-rtd #148

Triggered via push October 17, 2025 16:55
Status Success
Total duration 37s
Artifacts

pre-commit.yml

on: push
Check code style
32s
Check code style
Fit to window
Zoom out
Zoom in