Changes

#470 (Sep 12, 2024, 7:59:53 AM)

1. contrib/jenkins: remove broken chroot + qemu code — Oliver Smith / detail

#469 (Sep 12, 2024, 7:58:57 AM)

1. contrib/jenkins: remove duplicate "set -ex" — Oliver Smith / detail

#468 (Sep 12, 2024, 7:58:57 AM)

1. contrib/jenkins: remove broken chroot + qemu code — Oliver Smith / detail