Repository navigation

ci: avoid duplicate checks for pull requests - #6

Merged

andre487 merged 1 commit into

mainfrom

fix/duplicate-ci-runs

Nov 1, 2026

Merged

ci: avoid duplicate checks for pull requests#6
andre487 merged 1 commit into
mainfrom
fix/duplicate-ci-runs

Commits on Nov 1, 2026
- ci: avoid duplicate push and pull request checks
  andre487
  committed
  ad43b81