Changes

#3239 (Jan 19, 2026, 11:54:06 AM)

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

#3231 (Jan 16, 2026, 11:09:10 AM)

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

#3223 (Jan 13, 2026, 11:29:07 AM)

1. scripts/manuals: use debian-trixie-build — Oliver Smith / detail

#3222 (Jan 13, 2026, 9:24:07 AM)

1. contrib/known_hosts: update gerrit ssh key — Oliver Smith / detail