Skip to content

Merge branch 'devel' into pre-commit-ci-update-config #74

Merge branch 'devel' into pre-commit-ci-update-config

Merge branch 'devel' into pre-commit-ci-update-config #74

Triggered via push June 5, 2024 22:59
Status Success
Total duration 34s
Artifacts

pyright.yml

on: push
Fit to window
Zoom out
Zoom in