Commit 805b6866 authored by Mike Grüne's avatar Mike Grüne

Add Armadillo to Dockerfile

parent 9bc35d32
Pipeline #167097 passed with stages
in 1 minute and 58 seconds