modify armadilloHelper

Status Job ID Name Coverage
  Linux
canceled #663289
BranchJobLinux

canceled #663271
BranchJobLinux

failed #662863
BranchJobLinux

 
  Windows
skipped #662864
Windows10
BranchJobWindows