Repository navigation

ci: avoid duplicate checks for pull requests - #16

Merged

andre487 merged 2 commits into

mainfrom

fix/duplicate-ci-runs

Nov 1, 2026

Merged

ci: avoid duplicate checks for pull requests#16
andre487 merged 2 commits into
mainfrom
fix/duplicate-ci-runs

Commits on Nov 1, 2026
- ci: avoid duplicate push and pull request checks
  andre487
  committed
  9035a13
- Merge branch 'main' into fix/duplicate-ci-runs
  andre487
  authored
  171669c