Skip to content

ci: Don't run twice on pushes to PR branches#377

Merged
johanhelsing merged 1 commit intomainfrom fix-double-ciNov 23, 2023
+6

Commits

Commits on Nov 23, 2023