Skip to content

ci: avoid duplicate checks for pull requests - #16

Merged
andre487 merged 2 commits into
mainfrom
fix/duplicate-ci-runs
Nov 1, 2026
Merged

andre487 merged 2 commits into
mainfrom
fix/duplicate-ci-runs

Merge branch 'main' into fix/duplicate-ci-runs

171669c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Debian 12 two-host Jump
succeeded Nov 1, 2026 in 8m 9s