Skip to content

ci: don't run CI twice for my own pull requests#35

Merged
nico merged 1 commit intomainfrom ciAug 5, 2024

Commits

Commits on Aug 5, 2024