tree 294d314853f60296f7515afacd0e75b9a57a0620
parent 0a5e5e2fa50bfaee5f77246f26747d0743af774e
author Davide Pesavento <davide.pesavento@lip6.fr> 1473791392 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1473791392 +0000

ci: make unit tests execution compatible with different versions of Boost

This commit also unifies the coding style of CI scripts.

Change-Id: Iae73f63d8a997dbfde9233b6ee7f53a3d9644ef6
Refs: #3750