search

PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs
https://bo-yuan-huang.gitbook.io/ilang/
MIT License
75 stars 18 forks source link

Fix ci -- DONT MERGE #213

Closed yuex1994 closed 3 years ago

yuex1994 commented 3 years ago

Test invoking Travis CI.

zhanghongce commented 3 years ago

@yuex1994 , it is wield that it seems merging is still not possible at this point after 1 approval. Maybe some more changes on CI scripts are needed?

No pressure. Just let you know I'm working on an update of refinement processing in ILAng, and I will merge changes on this branch to mine once this pull request is merged. Thanks!

yuex1994 commented 3 years ago

@yuex1994 , it is wield that it seems merging is still not possible at this point after 1 approval. Maybe some more changes on CI scripts are needed?

No pressure. Just let you know I'm working on an update of refinement processing in ILAng, and I will merge changes on this branch to mine once this pull request is merged. Thanks!

There are few CIs still not working because our repo is under PrincetonUniversity organization (e.g. travis has some quota issue). I'll disable them and submit another PR -- will let you know once this is ready.