Skip to content

Don't run CI twice on PR#7

Merged
ohmer merged 1 commit intomainfrom run-ci-on-pr-and-main-onlyDec 11, 2024

Commits

Commits on Dec 11, 2024