Changes

#781 (Jan 20, 2026, 6:01:00 AM)

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

#778 (Jan 17, 2026, 6:01:00 AM)

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

#775 (Jan 14, 2026, 6:01:00 AM)

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