| Commit message (Collapse) | Author | Age |
|
|
|
|
| |
Because remove_autogenerated.sh updates _CoqProject, and we don't want
to see the churn from that.
|
| |
|
| |
|
|
|
|
| |
This would have caught the issue fixed by the previous commit much earlier.
|
|
|
|
| |
We no longer have a Bedrock directory; we instead have a bbv directory
|
| |
|
|
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.
|