Merged heptapod-oldstable branch into heptapod-stable

No actual content, just CI rules tweaks.
4 jobs for heptapod-13.18.1 in 1 minute and 26 seconds (queued for 1 second)
latest