Builds for numdiff in Ubuntu Bionic

Build started on 2020-04-05 on riscv64-qemu-lcy01-052 and finished on 2020-04-05 taking 14 minutes — see the log

Build started on 2017-05-04 on z13-013 and finished on 2017-05-04 taking 1 minute — see the log

Build started on 2017-05-04 on bos01-ppc64el-021 and finished on 2017-05-04 taking 1 minute — see the log

Build started on 2017-05-04 on lgw01-53 and finished on 2017-05-04 taking 2 minutes — see the log

Build started on 2017-05-04 on bos01-arm64-038 and finished on 2017-05-04 taking 2 minutes — see the log

Build started on 2017-05-04 on bos01-arm64-045 and finished on 2017-05-04 taking 2 minutes — see the log

Build started on 2017-05-04 on lgw01-51 and finished on 2017-05-04 taking 2 minutes — see the log