try putting time inside perf

a40d7546 · Ralf Jung · fe93dc05 · 2ef6b22b · 8324acef · 2ef6b22b
Commit a40d7546 authored Jun 22, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ci ci +1 -1

No files found.
--- a/ci @ 2ef6b22b
+++ b/ci @ 2ef6b22b
-Subproject commit 8324acefba3ffef86b4c5eca3c961ce69dc4dd02
+Subproject commit 2ef6b22b5d125539b2e38bed289775016653ed18