issues
search
leanprover-community
/
lean-liquid
💧 Liquid Tensor Experiment
176
stars
15
forks
source link
Ci improvements
#99
Closed
bentoner
closed
2 years ago
bentoner
commented
2 years ago
This pull request does the following:
Increases swap space - see discussion at
https://leanprover.zulipchat.com/#narrow/stream/267928-condensed-mathematics/topic/The.20elephant.20in.20the.20room
;
Causes the build step to fail if the build fails - previously it could appear to succeed and the problem would show up later; and
Records some extra debugging info during the build.
This pull request does the following: