Fixup: update devtoolset in docker file

14 jobs for update_ci in 20 minutes and 25 seconds (queued for 1 second)
Status Name Job ID Coverage
  Compilation
passed cmp:cc7-docker #10811995
docker

00:05:44

passed cmp:cc7-gcc #10811994
docker

00:02:01

passed cmp:cc7-llvm #10811996
docker

00:03:31

passed cmp:mac1015-clang #10811997
mac

00:03:13

passed cmp:slc6-gcc #10811993
docker

00:02:22

 
  Testing
passed tst:align #10811999
docker

00:09:19

passed tst:io #10812000
docker

00:03:35

passed tst:sim #10812001
docker

00:01:21

passed tst:tracking #10811998
docker

00:05:51

 
  Formatting
passed fmt:cc7-llvm-lint #10812003
docker

00:20:25

passed fmt:centos7-llvm-format #10812002
docker

00:00:33

passed fmt:codespell #10812004
docker

00:02:16

 
  Documentation
passed cmp:doxygen #10812005
docker

00:01:27

passed cmp:usermanual #10812006
docker

00:03:51