Build failed in Jenkins: reproducible_maintenance_armhf_virt32c #10180

[jenkins at jenkins.debian.net]

See <https://jenkins.debian.net/job/reproducible_maintenance_armhf_virt32c/10180/display/redirect>

Changes:


------------------------------------------
Started by timer
Running as SYSTEM
[EnvInject] - Loading node environment variables.
Building remotely on virt32c-armhf-rb (armhf virt32c) in workspace <https://jenkins.debian.net/job/reproducible_maintenance_armhf_virt32c/ws/>
[reproducible_maintenance_armhf_virt32c] $ /bin/sh -xe /tmp/jenkins16030742935938471983.sh
+ /srv/jenkins/bin/jenkins_master_wrapper.sh
Warning: NODE_NAME (virt32c-armhf-rb) is not a FQDN.  Totally unexpected!
ssh: Could not resolve hostname virt32c-armhf-rb.debian.net: Temporary failure in name resolution
Wed 15 Nov 12:06:28 UTC 2023 - virt32c-armhf-rb.debian.net seems to be down, sleeping 1min before exiting with error.
Build step 'Execute shell' marked build as failure