Skip to content

Ensure we run ci workflow on PRs coming from forks#357

Merged
alejandrohdezma merged 1 commit intomainfrom alejandrohdezma-patch-1Jul 16, 2024

Commits

Commits on Jul 16, 2024