diff --git a/jenkins-home/offline_nodes b/jenkins-home/offline_nodes index ef6acd1531629ede1ed02162254ef5fa987adcab..52e1c2ad435a5a7e79cb2f34123acee03197c904 100644 --- a/jenkins-home/offline_nodes +++ b/jenkins-home/offline_nodes @@ -17,8 +17,5 @@ # ethernet not recognized odxu4b-armhf-rb.debian.net -# network interface unreliable -cbxi4a-armhf-rb.debian.net - # Down here nodes are automatically added by the maintenance job when they have # been failing their health check for too long.