Commit 297173ab authored by André Anjos's avatar André Anjos

Merge branch 'new-ci' into 'master'

New CI using bdt

See merge request !32
parents dc10643b c2fa9017
Pipeline #26975 passed with stages
in 7 minutes and 5 seconds