Changes

#786 (Jan 19, 2026, 7:17:00 PM)

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

#783 (Jan 16, 2026, 7:17:00 PM)

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

#780 (Jan 13, 2026, 7:17:00 PM)

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