bareos: master 7df23bcd

Diff Back to Repository
Author Committer Branch Timestamp Parent
joergs arogge master 2023-04-04 15:01 master 1a7882b1 Pending
Changeset pr-tool: ignore optional github ci checks

Depending how a PR is created, mutliple checks can exists in a PR.
Only the ci check continuous-integration/jenkins/pr-merge is required
for us, so we ignore other tests.
mod - devtools/pip-tools/pr_tool/main.py Diff File