@rdaly525 and I had an initial discussion about this.
It would speed things up by avoiding having to compile coreir, but then depend on the fact that release binary is maintained to be in sync with coreir's master branch.
An alternative that I proposed is a fast branch that uses the current coreir release binary to build so we can do quicker travis runs, then merge to master with confidence that the build from coreir's master source will pass (given that the release matches master).
@rdaly525 and I had an initial discussion about this.
It would speed things up by avoiding having to compile coreir, but then depend on the fact that release binary is maintained to be in sync with coreir's master branch.
An alternative that I proposed is a
fast
branch that uses the current coreir release binary to build so we can do quicker travis runs, then merge to master with confidence that the build from coreir's master source will pass (given that the release matches master).