diff options
author | Jason Gross <jgross@mit.edu> | 2017-12-13 02:52:23 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-01-16 09:06:57 +0100 |
commit | 12ff6daadb3b53c07f10b8ba726ae4694a312573 (patch) | |
tree | d08357441b03865643b39a9165bec123147c6d25 /src/Specific/montgomery32_2e401m31_13limbs/compiler.sh | |
parent | e189b6c84a085f1e509becaa8fb4eac0132f3bfe (diff) |
Attempt to build travis in stages
Hopefully this will lead to overall faster builds
Also:
- try to allow failures
- Version-specific vo caches
- Make archives stage-specific
This way, if multiple branches are running stages at the same time, they
don't have as much a chance of clobbering each others builds.
Diffstat (limited to 'src/Specific/montgomery32_2e401m31_13limbs/compiler.sh')
0 files changed, 0 insertions, 0 deletions