From 45e0d0bcf32c20a0ad9bf9496656084c66a96219 Mon Sep 17 00:00:00 2001 From: Antonio Terceiro Date: Wed, 11 Nov 2015 10:40:07 -0200 Subject: [PATCH] script/ci: ease search for specific tasks in log --- script/ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/ci b/script/ci index 12407ce..decda88 100755 --- a/script/ci +++ b/script/ci @@ -14,7 +14,7 @@ failed = [] tasks.each do |task| puts task - puts task.gsub(/./, '-') + puts task.gsub(/./, '*') puts t0 = Time.now.to_i -- libgit2 0.21.2