commit | a32bd9515e563cec43b6d7652537a0ff6be83cb7 | [log] [tgz] |
---|---|---|
author | agorararmard <aagouhar@efabless.com> | Thu Dec 31 21:38:43 2020 +0200 |
committer | agorararmard <aagouhar@efabless.com> | Thu Dec 31 21:38:43 2020 +0200 |
tree | ea51b6ba9e551b958f2b33bdfc6d650b99a5f9d7 | |
parent | 5310513013b75583983af480a6d313c92970b1e7 [diff] |
[CI] disabling make timing by default