Skip to content

Merge pull request #12 from nijel/types #16

Merge pull request #12 from nijel/types

Merge pull request #12 from nijel/types #16

Triggered via push December 21, 2024 01:06
Status Success
Total duration 41s
Artifacts

pre-commit.yml

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