Skip to content

Prevent duplicate CI runs on pull requests#38

Merged
jeanbisutti merged 1 commit intomainfrom
fix/duplicate-ci-builds
Mar 3, 2026
Merged

Prevent duplicate CI runs on pull requests#38
jeanbisutti merged 1 commit intomainfrom
fix/duplicate-ci-builds

Commits

Commits on Mar 3, 2026