Skip to content

Vagrant: cache VM downloads and support several checkouts - #1379

Merged
gusthoff merged 24 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/vagrant/download-caching/2026-09-11
Sep 11, 2026
Merged

gusthoff merged 24 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/vagrant/download-caching/2026-09-11

Docs: correct the cache script descriptions

d926788
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
Analyze (python)
succeeded Sep 11, 2026 in 57s