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.