Changes

#931 (Jan 20, 2026, 6:32:00 AM)

1. ansible: allow jenkins users to set rtprio 30 — Oliver Smith / detail

#928 (Jan 17, 2026, 6:32:00 AM)

1. jobs/ttcn3-testsuites: disable bpftrace — Oliver Smith / detail

#924 (Jan 14, 2026, 6:32:00 AM)

1. contrib/known_hosts: update gerrit ssh key — Oliver Smith / detail
2. scripts/manuals: use debian-trixie-build — Oliver Smith / detail