Skip to content

CI: add dependency label to PRs#40

Merged
thekaveman merged 2 commits intomainfrom
ci/dependency-label
Dec 10, 2024
Merged

CI: add dependency label to PRs#40
thekaveman merged 2 commits intomainfrom
ci/dependency-label

Commits

Commits on Dec 9, 2024