Add triggers for some jobs that lacked them
The hotdoc jobs and the update-tests-binaries job were lacking triggers. The latter had it manually configured on Jenkins (that is, until anybody would update it from git).
🟠 v2026dev0 entered Soft Code Freeze/Hard Feature Freeze, only bug fixes will be accepted • schedule
The hotdoc jobs and the update-tests-binaries job were lacking triggers. The latter had it manually configured on Jenkins (that is, until anybody would update it from git).