| commit | 4363aaf0d7ffa832c3c596235933e1c3f07557e5 | [log] [tgz] |
|---|---|---|
| author | Zhaojing Luo <zhaojing@comp.nus.edu.sg> | Sun Jul 11 20:56:15 2021 +0800 |
| committer | GitHub <noreply@github.com> | Sun Jul 11 20:56:15 2021 +0800 |
| tree | c44e80c32077d22d52271407c2692acf34d9675d | |
| parent | f76b2ae04136fa54d71ebf6b8a545e6e32aa8427 [diff] | |
| parent | 03a1ba31a3efc88960273e4a803fade348cbad80 [diff] |
Merge pull request #867 from nudles/dev Fix the CI build error by using the older tbb.
