diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2024-09-13 14:29:24 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2024-09-20 20:37:23 +0000 |
| commit | 0ef24297ec37803e9909b082683725259b2f33a6 (patch) | |
| tree | 33e2751775c335ec435e220d965dbb948eee1892 /extras/vagrant/Vagrantfile | |
| parent | 6126ec9c5327c41d6bbf60b352c7b9a6699d9ade (diff) | |
build: archive make install-ext-deps build logs in ci
- also add build/external artifacts to .gitignore file
Type: make
Change-Id: I9c8f4a312bbfddfa8024531e7246518c8c3589a4
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'extras/vagrant/Vagrantfile')
0 files changed, 0 insertions, 0 deletions