Skip to content

ci: add pr workflow#2

Merged
DerStimmler merged 1 commit intomainfrom pr-workflowDec 30, 2024

Commits

Commits on Dec 30, 2024