Closed alexcrichton closed 3 years ago
The verifier can end up taking a significant chunk of time. On a local test case this change decreases the CPU time used by lucetc from 30s to 6.5s.
I have enabled Build forked pull requests in circleci - can we see if that gets a status reported on this PR? try force-pushing to trigger it perhaps.
Build forked pull requests
Obsolete by #604
The verifier can end up taking a significant chunk of time. On a local test case this change decreases the CPU time used by lucetc from 30s to 6.5s.