Armadillo include tweak

1 job for sim_dev in 6 minutes and 41 seconds (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Linux
passed BranchJobLinux #1761458

00:06:41

67.0%