[jenkins] Fix order of CI tags
authorLudovic Henry <ludovic@xamarin.com>
Wed, 7 Dec 2016 20:27:22 +0000 (15:27 -0500)
committerLudovic Henry <ludovic@xamarin.com>
Wed, 7 Dec 2016 20:27:22 +0000 (15:27 -0500)
commitd78854f3bf5508e93126aae294e2fd9cfc23290f
tree70a4400ad300039c0478ec9d967d4266c9ec6f77
parent3fe69ba81fac4026d986fcf96cd94f28e0f61304
[jenkins] Fix order of CI tags
scripts/ci/run-jenkins.sh