Repository navigation

PR builds: check the patches once per distribution, next to the builds - #95

Merged

Tobias-Fischer merged 1 commit into

mainfrom

ci/patch-check-job

Oct 16, 2026

Merged

PR builds: check the patches once per distribution, next to the builds#95
Tobias-Fischer merged 1 commit into
mainfrom
ci/patch-check-job

Commits on Oct 15, 2026
- PR builds: check the patches once per distribution, next to the builds
  
  Tobias-Fischer
  and
  claude
  committed
  6462d25