Skip to content

Merge pull request #333 from ewjoachim/pre-commit-ci-update-config #794

Merge pull request #333 from ewjoachim/pre-commit-ci-update-config

Merge pull request #333 from ewjoachim/pre-commit-ci-update-config #794

success

succeeded Nov 29, 2024 in 0s